Am 19.10.2015 um 21:29 schrieb Vincent van Ravesteijn:

I fixed it at 10d7f6d.

Many thanks Vincent! This fixes the compilation for me.

best regards
Uwe

Reply via email to