mirror of
https://github.com/postgres/postgres.git
synced 2025-12-11 00:05:53 -05:00
Per 49d43faa8. These ones were missed. Reported-by: jian he <jian.universality@gmail.com> Author: Erik Wienhold <ewie@ewie.name> Discussion: https://postgr.es/m/CACJufxG5UaQtoYFQKdMCYjpz_5Kggvdgm1gVEW4sNEa_W__FKA@mail.gmail.com