On Mon, Nov 02, 2015 at 12:53:51PM +0200, Graham Inggs wrote: > I don't mind if you want to fix this by re-writing the git history. Done. From my side julia-0.3.12 is ready. Please let me know if I can help with the porting effort. Regards, Peter