nisse@lysator.liu.se (Niels Möller) writes:
Unless there are objections, I think I'm going to merge this to the master branch as soon as I get the time. (Most likely a manual merge, to avoid checking in dead ends). We really need to get this over with.
Pushed now.
Regards, /Niels