Thanks, I think the overall patch is small enough and simple
enough so that no paperwork is needed, so I pushed it into
gnulib master.  We will need paperwork, though, if this turns
into a pattern (which I'd like....); please let me know if you
want to start the ball rolling on that.

Reply via email to