On Wed, Dec 30, 2015 at 5:20 PM, Bruce Momjian <bruce(at)momjian(dot)us> wrote:> Is this a TODO?
It's on my (very long) personal TODO list. It would be great ifsomeone else took it, though. So, yes.
-- Peter Geoghegan