On Sat, Feb 24, 2018 at 11:31 PM, Rex Dieter <rdieter@xxxxxxxxxxxx> wrote: > Good question, as it's a pure bugfix, yes. Building now. Thank you, Rex. I'll check whether that fixes the polyml problem. -- Jerry James http://www.jamezone.org/ _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx