savannah git repo updated again

[Ralf Wildenhues]

Hello Stefano, all,

I pushed the commits that were missing from the rewound git repo
upstream again, please check that the tree matches yours, then it
should be good for pushing to again.

Thanks,
Ralf