Pushed. CI is finally returned to its full verdant splendour in the back-branches.
pgsql-hackers by date:
Соглашаюсь с условиями обработки персональных данных