Am 20.12.2017 um 17:47 schrieb Stefan via Dev:
Hallo zusammen,
im Rahmen eines zentalen batman-adv Updates werden wir morgen, 21.12.2017 in der Zeit zwischen 10 und 12 Uhr Updates auf allen Gateways ausrollen.
Ach deswegen stresst du wgeen dem Kernel-Pinning rum? ;)