From f63090d9b6f8b6c106628973d09cdf708e28d565 Mon Sep 17 00:00:00 2001
From: Guillaume Revaillot <revaillot@archos.com>
Date: Wed, 28 Mar 2018 11:36:10 +0200
Subject: [PATCH] devices.data: add stm32f071?8

---
 ld/devices.data | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ld/devices.data b/ld/devices.data
index 8a790d7b..034cd8a1 100644
--- a/ld/devices.data
+++ b/ld/devices.data
@@ -77,7 +77,7 @@ stm32f051?4* stm32f0 ROM=16K RAM=8K
 stm32f051?6* stm32f0 ROM=32K RAM=8K
 stm32f051?8* stm32f0 ROM=64K RAM=8K
 stm32f070?6* stm32f0 ROM=32K RAM=6K
-stm32f072?8* stm32f0 ROM=64K RAM=16K
+stm32f07[12]?8* stm32f0 ROM=64K RAM=16K
 stm32f07[012]?b* stm32f0 ROM=128K RAM=16K
 stm32f091?b* stm32f0 ROM=128K RAM=32K
 stm32f091?c* stm32f0 ROM=256K RAM=32K