Am 11.06.21 um 16:25 schrieb Felipe Contreras: > Personally I have never experienced what you posted, so maybe there's > something else happening behind the scenes. I have to do a lot of criss-cross merges lately. > Maybe merge-ort changed something. It produces the same result. -- Hannes