Use installer and stage3 files from v9, with minor modifications
[osm/devops.git] / docker / PLA / Makefile
2020-06-22 magnussonlPLA build 42/8842/4