In message <[🔎] 1007897758.19662.15.camel@c3po>, Tobias Hunger writes: >PS: To which severity should I set it if it's not critical? Messing up > /usr/include is more then a 'normal' bug IMHO, even if it does not > break other applications.. "Serious" is probably right. p.