On Thu, Jul 28, 2016 at 10:58:25AM -0700, Daniele Di Proietto wrote:
> 2016-07-28 10:52 GMT-07:00 Flavio Leitner :
>
> > On Thu, Jul 28, 2016 at 09:32:54AM -0700, Ben Pfaff wrote:
> > > On Thu, Jul 28, 2016 at 12:49:37PM -0300, Flavio Leitner wrote:
> > > > On Wed, Jul 27, 2016
2016-07-28 10:52 GMT-07:00 Flavio Leitner :
> On Thu, Jul 28, 2016 at 09:32:54AM -0700, Ben Pfaff wrote:
> > On Thu, Jul 28, 2016 at 12:49:37PM -0300, Flavio Leitner wrote:
> > > On Wed, Jul 27, 2016 at 11:49:18AM -0700, Ben Pfaff wrote:
> > > > Some time ago this morning, I
On Thu, Jul 28, 2016 at 09:32:54AM -0700, Ben Pfaff wrote:
> On Thu, Jul 28, 2016 at 12:49:37PM -0300, Flavio Leitner wrote:
> > On Wed, Jul 27, 2016 at 11:49:18AM -0700, Ben Pfaff wrote:
> > > Some time ago this morning, I accidentally pushed several patches that
> > > were still under review to
On Thu, Jul 28, 2016 at 12:49:37PM -0300, Flavio Leitner wrote:
> On Wed, Jul 27, 2016 at 11:49:18AM -0700, Ben Pfaff wrote:
> > Some time ago this morning, I accidentally pushed several patches that
> > were still under review to master. I've force-pushed a correction to
> > the branch. My
On Wed, Jul 27, 2016 at 11:49:18AM -0700, Ben Pfaff wrote:
> Some time ago this morning, I accidentally pushed several patches that
> were still under review to master. I've force-pushed a correction to
> the branch. My apologies--I hope that this does not screw up anyone's
> development process
Some time ago this morning, I accidentally pushed several patches that
were still under review to master. I've force-pushed a correction to
the branch. My apologies--I hope that this does not screw up anyone's
development process in a bad way.
Sorry,
Ben.