On Wed, Jan 14, 2026 at 06:54:17PM +0100, Alvaro Herrera wrote:
> Thanks! Unless somebody hates this, I'll get it pushed quickly.
That looks fine by me, at quick glance, removing some code churn.
--
Michael
Сайт использует файлы cookie для корректной работы и повышения удобства. Нажимая кнопку «Принять» или продолжая пользоваться сайтом, вы соглашаетесь на их использование в соответствии с Политикой в отношении обработки cookie ООО «ППГ», в том числе на передачу данных из файлов cookie сторонним статистическим и рекламным службам. Вы можете управлять настройками cookie через параметры вашего браузера