5 Nov
2016
5 Nov
'16
4:27 a.m.
It won't apply directly, but you could try testing that commit and its parent to see if my hunch was correct.
Unfortunately parent commit was also ok. I am trying to bisect, but somehow git tells me something about "...merge commit..." - will see how it goes.
Norbert
-- PREINING Norbert + TeX Live & Debian Developer + http://www.preining.info GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13