> On May 5, 2018, at 8:03 AM, B. Blaser wrote:
>
> On 4 May 2018 at 17:42, Alan Bateman wrote:
>> On 04/05/2018 16:31, B. Blaser wrote:
>>>
>>> :
>>>
>>> I'll create a new JBS issue (unless you want to) since the fix is
>>> mostly located in core-libs and only intended to make the build
>>> co
On 4 May 2018 at 17:42, Alan Bateman wrote:
> On 04/05/2018 16:31, B. Blaser wrote:
>>
>> :
>>
>> I'll create a new JBS issue (unless you want to) since the fix is
>> mostly located in core-libs and only intended to make the build
>> complete.
>> But I'll still need someone to review and push the