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
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
