Richard Henderson <rth@redhat.com> writes: | This is an ABI related bug that's been on my plate for forever. | A nice round number like 4.0 does seem to be the right place to | fix it, if we're going to do it at all. | | Does anyone have any comments wrt the proposal in comment 3? That proposal is OK with me. Jason seems to agree too. -- Gaby