On 10/6/2018 2:30 PM, Mark Thompson wrote:
> ---
> On 05/10/18 00:53, James Almer wrote:
>> On 10/4/2018 8:09 PM, Mark Thompson wrote:
>>> ---
>>> configure | 10 +++---
>>> 1 file changed, 7 insertions(+), 3 deletions(-)
>>>
>>> diff --git a/configure b/configure
>>> index 85d5dd5962..cbd52e6
---
On 05/10/18 00:53, James Almer wrote:
> On 10/4/2018 8:09 PM, Mark Thompson wrote:
>> ---
>> configure | 10 +++---
>> 1 file changed, 7 insertions(+), 3 deletions(-)
>>
>> diff --git a/configure b/configure
>> index 85d5dd5962..cbd52e641b 100755
>> --- a/configure
>> +++ b/configure
>> @@