Hi Ravi, I've reported this one bug recently: https://public-inbox.org/git/nrmbrl$hsk$1@xxxxxxxxxxxxxxxx/ The developers know about it, but it will require some deeper refactoring. -- Mit freundlichen Grüßen, Anatoly Borodin
Hi Ravi, I've reported this one bug recently: https://public-inbox.org/git/nrmbrl$hsk$1@xxxxxxxxxxxxxxxx/ The developers know about it, but it will require some deeper refactoring. -- Mit freundlichen Grüßen, Anatoly Borodin