Jonas Platte 5db4c001d1 Remove another unnecessary use of an event enum		2022-02-12 01:58:47 +01:00
..
edus.rs	Remove another unnecessary use of an event enum	2022-02-12 01:58:47 +01:00