On Fri, 2018-08-24 at 09:47 +0200, Erik Skultety wrote:
> On Wed, Aug 22, 2018 at 11:44:15AM +0200, Andrea Bolognani wrote:
> > Changes from [v2]:
> >
> > * rebase on top of master (dbc2de85f775) and integrate recent
> > changes to build rules on the Jenkins side;
> >
> > * drop a commit
On Wed, Aug 22, 2018 at 11:44:15AM +0200, Andrea Bolognani wrote:
> Changes from [v2]:
>
> * rebase on top of master (dbc2de85f775) and integrate recent
> changes to build rules on the Jenkins side;
>
> * drop a commit that had already been merged in the meantime.
>
> Changes from [v1]:
>
Changes from [v2]:
* rebase on top of master (dbc2de85f775) and integrate recent
changes to build rules on the Jenkins side;
* drop a commit that had already been merged in the meantime.
Changes from [v1]:
* rebase on top of master (985ab833be9b) and integrate recent
changes to