On 2016-10-03 00:00, Anatoly Borodin wrote:
I've reported this one bug recently:https://public-inbox.org/git/[email protected]/ The developers know about it, but it will require some deeper refactoring.
Thanks Anatoly for reporting this.[Meta] All: For updates, is there an issue I can watch, or a way to subscribe/monitor only this one thread?
-- Cheers, Tom
