mirror of
https://github.com/postgres/postgres.git
synced 2025-11-01 21:31:19 +03:00
This has been detected using some interesting tricks with sed, and the method used is mentioned in details in the discussion below. Author: Justin Pryzby Discussion: https://postgr.es/m/20180908013109.GB15350@telsasoft.com