On Sat, Apr 7, 2018 at 1:02 PM, Teodor Sigaev <teo...@sigaev.ru> wrote: > Thanks to everyone, pushed.
I'll keep an eye on the buildfarm, since it's late in Russia. -- Peter Geoghegan
On Sat, Apr 7, 2018 at 1:02 PM, Teodor Sigaev <teo...@sigaev.ru> wrote: > Thanks to everyone, pushed.
I'll keep an eye on the buildfarm, since it's late in Russia. -- Peter Geoghegan