[Bug 991929] [ARM] Agda FTBFS

https://bugzilla.redhat.com/show_bug.cgi?id=991929 Peter Robinson <pbrobinson(a)gmail.com&gt; changed: What |Removed |Added ---------------------------------------------------------------------------- CC|pbrobinson(a)gmail.com | -- You are receiving this mail because: You are on the CC list for the bug.