On 09/04/2019 03:45, Alvaro Herrera wrote:> On 2019-Apr-08, Bruce Momjian wrote:> >> Uh, should this be applied?> > Yes, it's a pretty obvious typo methinks.
Pushed, thanks, and sorry for the delay.
- Heikki