Hi, That's fine, I'm interested in armv7hl updates. I filed another ticket with the sysadmin team since the previous one got closed as fixed, although nothing changed so far. Greetings, Dirk
↧