mirror of
https://github.com/neondatabase/neon.git
synced 2026-08-18 12:08:19 +00:00
f3c9d0adf4
#11962 Please review each commit separately. Each commit is rather small in goal. The overall goal of this PR is to keep the behaviour identical, but shave away small inefficiencies here and there.