Hi Ralph, > If the simple, minimal, change could be better implemented then I'd > suggest making two commits. The first makes the fix, the second > improves the source with "No functional change intended".
this is a good idea indeed. The first commit is done, now I can look how to make the affected code more clear for later changes. Cheers, Carsten
