On 2019-Sep-30, Joe Conway wrote:
> I am not sure I will get to this today. I assume it is ok for me to move
> it forward e.g. next weekend, or is that not in line with commitfest rules?
You can commit whatever patch whenever you feel like it. I will
probably move this patch to the next commitfest before that, but you can
mark it committed there as soon as you commit it.
--
Álvaro Herrera https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services