[bootlin/training-materials updates] master: agenda/boot-time: switch to Ubuntu 22.04 (14e72d4c)

[Michael Opdenacker]

Repository : https://github.com/bootlin/training-materials
On branch  : master
Link       : https://github.com/bootlin/training-materials/commit/14e72d4ce29df0aec845d13632d022ca22f393e4

>---------------------------------------------------------------

commit 14e72d4ce29df0aec845d13632d022ca22f393e4
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Wed Jun 7 18:03:46 2023 +0200

    agenda/boot-time: switch to Ubuntu 22.04
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


>---------------------------------------------------------------

14e72d4ce29df0aec845d13632d022ca22f393e4
 agenda/boot-time.inc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/agenda/boot-time.inc b/agenda/boot-time.inc
index a90449f4..32bcaef7 100644
--- a/agenda/boot-time.inc
+++ b/agenda/boot-time.inc
@@ -70,6 +70,9 @@
   }
 }
 
+% Ubuntu version
+\def \ubuntuversion{22.04}
+
 % Time ratio
 \def \onsitelecturetimeratio{40}
 \def \onsitelabtimeratio{60}