On Thu, Sep 15, 2016 at 4:02 AM, Gilles
wrote:
> On Wed, 14 Sep 2016 07:41:01 -0700, Gary Gregory wrote:
>
>> "I'd rather not redo the release steps just for files that are
>> meaningful only when browsing the code repository mirror at
>> Github."
>>
>> I know our
On Wed, 14 Sep 2016 07:41:01 -0700, Gary Gregory wrote:
"I'd rather not redo the release steps just for files that are
meaningful only when browsing the code repository mirror at
Github."
I know our release process is a pain, so maybe we should see if we
can
improve it. This needs a separate