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!

