On Tuesday, 21 April 2015 at 14:10:36 UTC, Johannes Pfau wrote:
Am Tue, 21 Apr 2015 11:42:40 +0000 schrieb "Jens Bauer" <doc...@who.no>:I'm still hoping for a solution to this. Should I file a bug-report ?Didn't this[1] commit fix the problem?
My mistake. I had my git repository stuck on a 2 week old version, so running my update script didn't do anything useful.
I'm building GDC now and will test tomorrow; sorry for the noise.
