Le 21/08/2017 à 14:54, racoon a écrit :
I manually applied the second patch now. There was a missing line in your patch ...- // fall throughSorry for the inconvenience. I don't know how the comment got missing.
The was changed recently by Juergen. You should update your tree (equivalent to a "git pull") and your commit will be updated against the latest master (if everything goes right :).
JMarc