On Monday, 2 January 2017 at 01:24:58 UTC, Nordlöw wrote:
On Sunday, 1 January 2017 at 23:55:37 UTC, deadalnix wrote:But it is not clear if anyone cares at this stage...2.072.2 was released yesterday. Doesn't that work on Ubuntu 16.10?
Victory !It took some time but here we are. Good to see this is fixed. Thanks whoever fixed it!