Al Haji-Ali <abdo.haji....@gmail.com> writes: Hi Al,
> Tasillo, I would be grateful if you can pull those changes when you > get a chance. Done so, although I've had to delete and recreate the branch because apparently savannah seems to disallow force-pushing and it seems there is no setting for that on our administration page. That's no problem for me and I think it makes also no difference for test-drivers of your branch who need to reset anyway. Bye, Tassilo