mirror of
https://github.com/postgres/postgres.git
synced 2025-05-30 00:02:11 -04:00
Manipulating extended statistics is more convenient as JSON than the current ad-hoc format, so let's change before it's too late. Discussion: https://postgr.es/m/20170420193828.k3fliiock5hdnehn@alvherre.pgsql