Subject: Re: [boost] Boost Trac, random, No-Maintainer?
From: Peter Dimov (lists_at_[hidden])
Date: 2017-10-09 17:26:30


Steven Watanabe wrote:
> You left out one step:
> - Spend 5 minutes hunting through the man pages to figure out the correct
> git command.

Ah, but there's a "view command line instructions" on the Github PR page
that gives you the command. :-)