On Sun, Dec 6, 2015 at 11:25 AM, Jim Meyering <[email protected]> wrote:
> FYI, I've just pushed the attached:

Marking as done.



Reply via email to