On Tue, 13 Jun 2017, Martijn Rijkeboer wrote: > Yes, this patch fixes the problem.
Thanks for the report and the testing. I have committed the revert yesterday.
On Tue, 13 Jun 2017, Martijn Rijkeboer wrote: > Yes, this patch fixes the problem.
Thanks for the report and the testing. I have committed the revert yesterday.