>>>>> "Robert" == Robert Haas <robertmhaas(at)gmail(dot)com> writes:
Robert> unless some other committer volunteers. (Of course, anyone
Robert> could step in to do the work, as Thomas already has to a
Robert> considerable degree, but without a committer involved it
Robert> doesn't fix the problem.)
I can probably take this on if needed.
--
Andrew (irc:RhodiumToad)