26 Nov
2017
26 Nov
'17
9:53 a.m.
On 26/11/17 10:14, David Matthews wrote:
In view of this I'm inclined to release the version without this change (44b7b88) as 5.7.1 and investigate the problem later.? Are you certain the problem you've identified doesn't happen in that version?
Yes, 44b7b88 works on these Ubuntu 12.04 LTS test systems.
Makarius