mirror of
https://github.com/neondatabase/neon.git
synced 2026-08-21 13:38:33 +00:00
e09bb9974c
This is a rename without functional changes, in preparation for #5912. Split off from #5912 as per review request.