Collin Funk wrote: > Yes, I asked about this a year ago and we decided to wait for a release > of GNU patch [1]. The latest release has it removed.
Ah, glad that you remember it. I did not remember, but in order to not make a mistake, I checked all occurrences in https://codesearch.debian.net/. Bruno
