-
Jörg Krause authored
Now that 7.12 has been added and 7.11 is the default version, let's remove the old 7.9 release. Signed-off-by: Jörg Krause <joerg.krause@embedded.rocks> Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
69aa0574
Now that 7.12 has been added and 7.11 is the default version, let's remove the old 7.9 release. Signed-off-by: Jörg Krause <joerg.krause@embedded.rocks> Signed-off-by: Peter Korsgaard <peter@korsgaard.com>