Merge branch 'master' into subtree
authorNiki Roo <niki@nikiroo.be>
Fri, 10 Apr 2020 17:49:41 +0000 (19:49 +0200)
committerNiki Roo <niki@nikiroo.be>
Fri, 10 Apr 2020 17:49:41 +0000 (19:49 +0200)
1  2 
ui/UIUtils.java

diff --cc ui/UIUtils.java
Simple merge