Paul Eggert Tue, 17 Dec 2013 15:00:07 -0800
Thanks, I don't use C++ so I can't really review that, but nobody else has commented so I installed it into gnulib.