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