Michael Dauer <mick.da...@gmail.com> writes: > I wanted to help you with testing. But I could not find a branch dev in > that repo.
I did not mean literally "dev" branch. The default branch there is my local patches I plan to merge to Org eventually. > Anyway, I'll wait for it to be populated into the main repo. When should I > retry there? I will prepare the patch for the main repo and post a reply to your original bug report once I get time to do it. Best, Ihor