Shall I merge this fix up now?

head works fine for me
+1 for merge

Ciao,
Mario

Matthias

Reply via email to