-
Peter Eisentraut authored
This was already unused in the initial commit 257836a7. Apparently, it was used in an earlier proposed patch version.
3cbea581
This was already unused in the initial commit 257836a7. Apparently, it was used in an earlier proposed patch version.