On 2019-Feb-06, Magnus Hagander wrote: > This has now been pushed and is available. I've set it up with stable, 12 > and 13 as possible versions for now, but I have not added any tags to the > existing patches (except for one, in order to test it).
I added a few more tags. Cool stuff, thanks! -- Álvaro Herrera https://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services
