<div dir="auto">Push both of these and if needed change spike to this as indicated in other thread.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Apr 8, 2020, 4:00 AM Hesham Almatary <<a href="mailto:Hesham.Almatary@cl.cam.ac.uk">Hesham.Almatary@cl.cam.ac.uk</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">---<br>
 bare/config/devel/dtc.bset | 2 +-<br>
 1 file changed, 1 insertion(+), 1 deletion(-)<br>
<br>
diff --git a/bare/config/devel/dtc.bset b/bare/config/devel/dtc.bset<br>
index d701f93..54521f6 100644<br>
--- a/bare/config/devel/dtc.bset<br>
+++ b/bare/config/devel/dtc.bset<br>
@@ -4,4 +4,4 @@<br>
<br>
 %define release 1<br>
<br>
-devel/dtc-1.2.0<br>
+devel/dtc-1.4.1-1<br>
-- <br>
2.17.1<br>
<br>
_______________________________________________<br>
devel mailing list<br>
<a href="mailto:devel@rtems.org" target="_blank" rel="noreferrer">devel@rtems.org</a><br>
<a href="http://lists.rtems.org/mailman/listinfo/devel" rel="noreferrer noreferrer" target="_blank">http://lists.rtems.org/mailman/listinfo/devel</a><br>
</blockquote></div>