Norman Maurer c7248d84b5 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:39:20 +01:00
..
src	Let GlobalEventExecutor implement OrderedEventExecutor (#8952)	2019-03-19 11:39:20 +01:00
pom.xml	[maven-release-plugin] prepare for next development iteration	2019-03-08 08:55:45 +00:00