tree 99f85d16a3aa75356d3249c2916738bf51355c15
parent 8c67615a491e4c61e5bbd6d6cfe8d5a5517990e6
author Akron <nils@diewald-online.de> 1544020654 +0100
committer margaretha <margaretha@ids-mannheim.de> 1544101156 +0100

Sort focus operations on demand

Change-Id: Ia2809078a4b7c6ed485740895f77fadfa6bde2bf