Hi Ravi,

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.


-- 
Mit freundlichen Grüßen,
Anatoly Borodin

Reply via email to