Good news, thanks! Would it be possible to schedule a backported patch to 16.10? The problem is significant in the general case.
Good news, thanks! Would it be possible to schedule a backported patch to 16.10? The problem is significant in the general case.