Norman Maurer 98f9924bc5 Let GlobalEventExecutor implement OrderedEventExecutor (#8952) ... Motivation: GlobalEventExecutor does already provide all guarantees of OrderedEventExecutor so it should implement it. Modifications: Let GlobalEventExecutor implement OrderedEventExecutor. Result: Make it more clear how execution order is handled in GlobalEventExecutor.		2019-03-19 11:40:11 +01:00
..
main	Let GlobalEventExecutor implement OrderedEventExecutor (#8952)	2019-03-19 11:40:11 +01:00
test	Fix compile error introduced by cherry-pick 6c4d6ae332	2019-03-05 09:26:44 +01:00