mirror of
https://github.com/neondatabase/neon.git
synced 2026-08-18 12:08:19 +00:00
993b544ad0
Fixes issue #1238 and #1189. Extracted from PR #1194, with some comment editorialization by me. Author: Konstantin Knizhnik <knizhnik@zenith.tech>