Stefano Garzarella writes:
> On Thu, May 30, 2019 at 11:15:44AM +0100, Alex Bennée wrote:
>> The toolchain PPA has it so we might as well use it.
>>
>> Signed-off-by: Alex Bennée
>> ---
>> .travis.yml | 10 +-
>> 1 file changed, 5 insertions(+), 5 deletions(-)
>>
>> diff --git a/.trav
On Thu, May 30, 2019 at 11:15:44AM +0100, Alex Bennée wrote:
> The toolchain PPA has it so we might as well use it.
>
> Signed-off-by: Alex Bennée
> ---
> .travis.yml | 10 +-
> 1 file changed, 5 insertions(+), 5 deletions(-)
>
> diff --git a/.travis.yml b/.travis.yml
> index b053a836a3
The toolchain PPA has it so we might as well use it.
Signed-off-by: Alex Bennée
---
.travis.yml | 10 +-
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/.travis.yml b/.travis.yml
index b053a836a32..f0aa37f2d12 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -240,8 +240,8 @@ m