The buildfarm server has changed to a new (bigger, faster, better) server. There might be odd discrepancies, which will be resolved in a day or two when I reconcile and merge the two databases. Thanks for your patience andrew
pgsql-hackers by date:
Соглашаюсь с условиями обработки персональных данных