On Fri, Feb 14, 2020 at 12:20:44PM -0800, Ben Pfaff wrote:
> On Fri, Feb 14, 2020 at 04:31:55PM -0300, Flavio Leitner wrote:
> > On Fri, Feb 14, 2020 at 09:45:40AM -0800, Ben Pfaff wrote:
> > > Hi Justin, I released 2.13.0, or at least I pushed it to the repo. Do
> > > you have a checklist of othe
On Fri, Feb 14, 2020 at 01:13:00PM -0800, Justin Pettit wrote:
>
> > On Feb 14, 2020, at 11:31 AM, Flavio Leitner wrote:
> >
> > On Fri, Feb 14, 2020 at 09:45:40AM -0800, Ben Pfaff wrote:
> >> Hi Justin, I released 2.13.0, or at least I pushed it to the repo. Do
> >> you have a checklist of oth
> On Feb 14, 2020, at 11:31 AM, Flavio Leitner wrote:
>
> On Fri, Feb 14, 2020 at 09:45:40AM -0800, Ben Pfaff wrote:
>> Hi Justin, I released 2.13.0, or at least I pushed it to the repo. Do
>> you have a checklist of other things to do for a release? I know I need
>> to tag it, but I think yo
On Fri, Feb 14, 2020 at 05:43:45PM -0300, Flavio Leitner wrote:
> On Fri, Feb 14, 2020 at 12:20:44PM -0800, Ben Pfaff wrote:
> > On Fri, Feb 14, 2020 at 04:31:55PM -0300, Flavio Leitner wrote:
> > > On Fri, Feb 14, 2020 at 09:45:40AM -0800, Ben Pfaff wrote:
> > > > Hi Justin, I released 2.13.0, or
On Fri, Feb 14, 2020 at 12:39:50PM -0800, Ben Pfaff wrote:
> On Fri, Feb 14, 2020 at 12:20:44PM -0800, Ben Pfaff wrote:
> > On Fri, Feb 14, 2020 at 04:31:55PM -0300, Flavio Leitner wrote:
> > > On Fri, Feb 14, 2020 at 09:45:40AM -0800, Ben Pfaff wrote:
> > > > Hi Justin, I released 2.13.0, or at le
On Fri, Feb 14, 2020 at 12:20:44PM -0800, Ben Pfaff wrote:
> On Fri, Feb 14, 2020 at 04:31:55PM -0300, Flavio Leitner wrote:
> > On Fri, Feb 14, 2020 at 09:45:40AM -0800, Ben Pfaff wrote:
> > > Hi Justin, I released 2.13.0, or at least I pushed it to the repo. Do
> > > you have a checklist of othe
On Fri, Feb 14, 2020 at 12:20:44PM -0800, Ben Pfaff wrote:
> On Fri, Feb 14, 2020 at 04:31:55PM -0300, Flavio Leitner wrote:
> > On Fri, Feb 14, 2020 at 09:45:40AM -0800, Ben Pfaff wrote:
> > > Hi Justin, I released 2.13.0, or at least I pushed it to the repo. Do
> > > you have a checklist of othe
On Fri, Feb 14, 2020 at 04:31:55PM -0300, Flavio Leitner wrote:
> On Fri, Feb 14, 2020 at 09:45:40AM -0800, Ben Pfaff wrote:
> > Hi Justin, I released 2.13.0, or at least I pushed it to the repo. Do
> > you have a checklist of other things to do for a release? I know I need
> > to tag it, but I t
On Fri, Feb 14, 2020 at 09:45:40AM -0800, Ben Pfaff wrote:
> Hi Justin, I released 2.13.0, or at least I pushed it to the repo. Do
> you have a checklist of other things to do for a release? I know I need
> to tag it, but I think you did other things too.
Hi Ben and Justin,
Not sure if they are
