Peter Dunkley writes: > Done. Commit: d50bf0933db8925d75da09de0036d559c9b34b64 good, i guess you figured out that porting a fix to another branch is usually easy with command git cherry-pick -x _commit_hash_id_ given in the other branch. -- juha