cc77ed7 Handle milestone as variables so we can alter it easily and set the docs zip filename appropriately.

1 file Authored by Andrew John Hughes 2 years ago, Committed by Severin Gehwolf 2 years ago,
    Handle milestone as variables so we can alter it easily and set the docs zip filename appropriately.
    
    Drop unused use_shenandoah_hotspot variable.
    Include 'ea' designator in Release when appropriate.
    
        
file modified
+31 -12