Branko Čibej <[email protected]> writes:

> Ouch. I was sure I reverse-merged that commit. Do you have time to fix the
> mergeinfo? I'm short of minutes...

For the history, this should be fixed by r1935971.


Regards,
Evgeny Kotkov

Reply via email to