Ping on merge?
On October 20, 2018 6:59:49 AM UTC, Rafael Sadowski
wrote:
>Tested devel on amd64. Ok rsadowski@
>
>On Fri Oct 19, 2018 at 06:22:33PM -0500, Edward Lopez-Acosta wrote:
>> New diff attached with REVISION removed.
>>
>> Edward Lopez-Acosta
>>
>> On 10/19/18 4:43 AM, Stuart
Tested devel on amd64. Ok rsadowski@
On Fri Oct 19, 2018 at 06:22:33PM -0500, Edward Lopez-Acosta wrote:
> New diff attached with REVISION removed.
>
> Edward Lopez-Acosta
>
> On 10/19/18 4:43 AM, Stuart Henderson wrote:
> > On 2018/10/18 18:55, Edward Lopez-Acosta wrote:
> > > Simple and
New diff attached with REVISION removed.
Edward Lopez-Acosta
On 10/19/18 4:43 AM, Stuart Henderson wrote:
On 2018/10/18 18:55, Edward Lopez-Acosta wrote:
Simple and straight forward version update. Tested both stable and devel on
amd64 with no issues.
Ok to merge?
--
Edward Lopez-Acosta
On 2018/10/18 18:55, Edward Lopez-Acosta wrote:
> Simple and straight forward version update. Tested both stable and devel on
> amd64 with no issues.
>
> Ok to merge?
> --
> Edward Lopez-Acosta
> diff --git a/devel/jenkins/devel/Makefile b/devel/jenkins/devel/Makefile
> index
Simple and straight forward version update. Tested both stable and devel
on amd64 with no issues.
Ok to merge?
--
Edward Lopez-Acosta
diff --git a/devel/jenkins/devel/Makefile b/devel/jenkins/devel/Makefile
index a46d04c8ebc..e57c8793c51 100644
--- a/devel/jenkins/devel/Makefile
+++