On 06/05/2017 11:26 AM, Andres Freund wrote:
> On 2017-06-05 11:10:12 +0300, Heikki Linnakangas wrote:
>> Fixed, thanks. I also fixed and clarified some other comments in the file
>> that seemed wrong or confusing to me.
>
> Thanks for looking - I don't see any commit though?
Pushed now. Note to self: remove --dry-run when you intend to commit for
real :-).
- Heikki