On Fri, Jul 06, 2018 at 03:45:46PM +0000, Andrew Dunstan wrote:
> I agree that this problem should just be documented, and no further
> fix done. The proposed commit message seems to be too long - I think
> it should mainly just just refer to the mailing list discussion. Other
> than that it seems fine.
>
> The new status of this patch is: Ready for Committer
Thanks for the review, Andrew. Committed as suggested.
--
Michael