update milestone build script#5792

hmottestad merged 1 commit intodevelopeclipse-rdf4j/rdf4j:developfrom

update-scripts-before-milestone-buildeclipse-rdf4j/rdf4j:update-scripts-before-milestone-buildCopy head branch name to clipboard