[11u]: 8213906: Update arm devkits with libXrandr headers

[Baesken, Matthias]

Hello Christoph, looks good to me !


From: Langer, Christoph
Sent: Montag, 10. Februar 2020 08:16
To: jdk-updates-dev at openjdk.java.net<mailto:jdk-updates-dev at openjdk.java.net>
Subject: [11u]: 8213906: Update arm devkits with libXrandr headers

Hi,

please review this tiny backport changeset:

Bug: https://bugs.openjdk.java.net/browse/JDK-8213906
Original change: http://hg.openjdk.java.net/jdk/jdk/rev/a41566ad8756
Webrev: http://cr.openjdk.java.net/~clanger/webrevs/8213906.11u/

It's one of these parity changes. The change didn't apply so I tried to resolve it manually.

Thanks
Christoph