mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 058c1171 | patch | commit | ignore whitespace
Guillaume
23.39.2020 bdfd7a2e5f58b800a880d4c6a9ee248dfe47835b 
Ude openjdk:8 as a base image for java updates (#116)

changed files