On Sat, Jun 9, 2018 at 12:54 PM, Jonathan S. Katz <jkatz(at)postgresql(dot)org> wrote:> Good suggestion. Pushed. Will take some time to propagate to all> pages, but I at least purged homepage cache.
That was quick -- thanks!
-- Peter Geoghegan