Jochen Kemnade Fri, 20 Nov 2015 09:51:29 -0800
We could try a newer Git snapshot, given that 1.15 is more than a year old. Maybe some of the issues are fixed upstream by now.
