On 2023-Jun-13, Amit Kapila wrote:
> I'll push this tomorrow unless there are any suggestions or comments.
Note the proposed commit message is wrong about which commit is to blame
for the original problem -- it mentions e7e7da2f8d57 twice, but one of
them is actually c3afe8cf5a1e.
--
Álvaro Herrera 48°01'N 7°57'E — https://www.EnterpriseDB.com/