[Libre-soc-bugs] [Bug 1139] CI for ieee754fpu broken

[bugzilla-daemon at libre-soc.org]

https://bugs.libre-soc.org/show_bug.cgi?id=1139

--- Comment #5 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Jacob Lifshay from comment #4)

> sorry, i forgot because I was mostly thinking this bug is a replacement for
> just emailing myself as a reminder,

and if someone else finds the same problem and
reports the same bug? it wastes other people's
time, to think like that, doesn't it?

do make it an unconditional habit, as *other people*
when navigating are in no way going to do so by "keyword searches"
if they have absolutely no clue what to search for, are they?

-- 
You are receiving this mail because:
You are on the CC list for the bug.