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


Reply via email to