Merge branch 'master' into subtree
authorNiki Roo <niki@nikiroo.be>
Tue, 19 May 2020 19:16:46 +0000 (21:16 +0200)
committerNiki Roo <niki@nikiroo.be>
Tue, 19 May 2020 19:16:46 +0000 (21:16 +0200)
commit9e7330d793887fe9ee378ca1413141d7761e76ca
treee16740b57dd797390a2a880af937e8eabe1730c1
parentebac96b0184f044a4b2db35cb8f445aeb048d743
parentaaef3a5165f7cd1dc1a5babb104e328d13859408
Merge branch 'master' into subtree
streams/ReplaceInputStream.java
test_code/ReplaceInputStreamTest.java
ui/UIUtils.java