Donald Lindsay writes:
> Since the patch was posted on 20 April, I assume that there were no
> objections. I'll commit it later today unless headed off.
OK, I should have OK'd this a long time ago.
-gavin...