On 7. 7. 2026 23:03, Evgeny Kotkov via dev wrote:
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

Thanks!

Reply via email to