From d9e7aa9af0bda6f91f4a3d8d2c31e8d9a814d3eb Mon Sep 17 00:00:00 2001
From: Marc Bonnici <marc.bonnici@arm.com>
Date: Mon, 8 Jul 2019 17:02:27 +0100
Subject: [PATCH] Dockerfile: Update to use the latest versions of WA and
 devlib

---
 extras/Dockerfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/extras/Dockerfile b/extras/Dockerfile
index 0089aed0..b7b141b4 100644
--- a/extras/Dockerfile
+++ b/extras/Dockerfile
@@ -42,8 +42,8 @@ FROM ubuntu:18.10
 
 # Please update the references below to use different versions of
 # devlib, WA or the Android SDK
-ARG DEVLIB_REF=v1.1.1
-ARG WA_REF=v3.1.3
+ARG DEVLIB_REF=v1.1.2
+ARG WA_REF=v3.1.4
 ARG ANDROID_SDK_URL=https://dl.google.com/android/repository/sdk-tools-linux-3859397.zip
 
 RUN apt-get update