update from master
authorNiki Roo <niki@nikiroo.be>
Thu, 28 May 2020 14:55:51 +0000 (16:55 +0200)
committerNiki Roo <niki@nikiroo.be>
Thu, 28 May 2020 14:55:51 +0000 (16:55 +0200)
commitaf6e65daddff2d602017013f498f989fefbb6be9
tree0140a7af2f9ad92efdda92c212e4acb3d670bbf4
parenta72efc14cd0ce75cd67f434435eecabc7ff8fb17
update from master
library/WebLibraryServer.java
library/WebLibraryUrls.java