On Wed, 27 May 2020 14:11:21 GMT, Martijn Verburg <github.com+180840+karianna at openjdk.org> wrote: > Add gitignore for build directory Marked as reviewed by jwilhelm (Lead). ------------- PR: https://git.openjdk.java.net/guide/pull/12