mirror of
https://github.com/postgres/postgres.git
synced 2025-05-05 09:19:17 +03:00
I (Andres) missed these in 578b229718e8f. Author: Justin Pryzby, editorialized a bit by Andres Freund Reviewed-By: Daniel Verite, Andres Freund Discussion: https://postgr.es/m/20190408002847.GA904@telsasoft.com