On 12/18/23 19:25, Ben Cooksley wrote:
Just out of curiosity - why?
It broke down a while ago and, unfortunately, it covers only some of ours needs, not all. So it was not a big loss for us and we simply moved on with merging patches manually.
Cheers, Vlad
