Started by GitHub push by peq13017eea302409bdf008494de58e27169f18616c1ae67eea302409bdf008494de58e27169f18616c1ae6refs/remotes/origin/master7eea302409bdf008494de58e27169f18616c1ae67eea302409bdf008494de58e27169f18616c1ae6refs/remotes/origin/master7eea302409bdf008494de58e27169f18616c1ae67eea302409bdf008494de58e27169f18616c1ae6refs/remotes/origin/masterhttps://github.com/wurstscript/WurstScript.git00832testReportfalse#13011250496737407Wurst #13011301falsefalse1301217SUCCESS1630324182484https://grill.wurstlang.org/hudson/user/lep.delete/my-views/view/all/job/Wurst/1301/de.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/languageserver/requests/MapRequest.javade.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/utils/W3InstallationData.java7eea302409bdf008494de58e27169f18616c1ae61630324147000https://grill.wurstlang.org/hudson/user/peter.peqPeter.peqPeter.peq@googlemail.comfix to allow building map on Linux 2021-08-30 13:49:07 +02007eea302409bdf008494de58e27169f18616c1ae6fix to allow building map on Linuxeditde.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/languageserver/requests/MapRequest.javaeditde.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/utils/W3InstallationData.javagithttps://grill.wurstlang.org/hudson/user/peter.peqPeter.peq