Indeed this needs a concrete counter-example. I have observed that the
order is different between patch formats, but since these are
completely different implementations this is not too surprising and
not a problem in practice. I am minded to close this as "works-for-me"
(but we don't have a status for that).
|