Il 13/05/2014 02:31, Paul Eggert ha scritto:
Paolo Bonzini wrote:This kind of change can be done independent of the change to shell scripts.Absolutely, and if someone wants to implement it in C rather than in the shell, please feel free.
Can we first agree on the revert then? Paolo
