#
8d2dfbce |
|
18-Nov-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove Globals.priming. Also remove references to it in code that isn't being tested in the regression checking build-sequence, and so is probably bit-rotted. Provide numvariant version of variant, which behaves like with_flag(Globals.priming,SOME "") (variant avoids) Document change/incompatibility in release notes.
|