7 Feb
2017
7 Feb
'17
1:31 p.m.
If this is such a problem for you that it needs an urgent fix, please stop using the git development branch. Just use a stable branch.
If you insist, at your own perit, in using a development branch, then please keep any reports constructive.
Cor