From 8be81ac09e3d1e5228355046335b5de6be32fe59 Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Thu, 19 Apr 2018 22:13:05 +0200
Subject: [PATCH] Update the list of tested systems.

---
 doc/DEV.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/doc/DEV.md b/doc/DEV.md
index 7b7b6e5d..10c7972f 100644
--- a/doc/DEV.md
+++ b/doc/DEV.md
@@ -33,8 +33,10 @@ List of tested systems
 * gcc 4.9 on linux/x86-64
 * gcc 7 on linux/x86-64
 * clang 3.5 on linux/x86-64
-* clang 4 on linux/x86-64
+* clang 4.0 on linux/x86-64
 * g++ 7 on linux/x86-64
 * tcc on linux/x86-64
 * gcc 6 on windows/x86-64
 * gcc 4.9 on linux/powerpc
+* gcc 6 on linux/armv7l
+* clang 3.8 on linux/armv7l