From 60ffd27bbabdadcca920896e41dc63678a397dfc Mon Sep 17 00:00:00 2001
From: Marc Bonnici <marc.bonnici@arm.com>
Date: Wed, 27 Feb 2019 17:19:36 +0000
Subject: [PATCH] extras/Dockerfile: Update to use the latest release version

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

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