P J P, le lun. 20 janv. 2020 18:17:47 +0530, a ecrit: > @Samuel: would it be possible to update the committed patch? OR need a revised > one? I'm afraid I don't think we want to rewrite git history, that always poses various strong problems. Samuel