On Mon, Aug 5, 2019 at 8:51 PM Peter Geoghegan <[email protected]> wrote:
>
> Pushed a version with similar wording just now.

Thanks!


Reply via email to