From 88284750e7a25347ac9304d0da49568c1bbdfdaa Mon Sep 17 00:00:00 2001
From: Marc Bonnici <marc.bonnici@arm.com>
Date: Mon, 16 Dec 2019 18:36:40 +0000
Subject: [PATCH] Dockerfile: Update to reference new release of WA and devlib

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

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