Revision 8e5246d3db104585ac39660b9aace916b7e3c18f

Committed on 10/04/2019 1:12 am by Vidar <vl@ez.no> [GitHub Diff]

[Docker]Fixed building of distribution image (for v2.5.0) (#386)

Share your information