"default is otherwise default" should be "default is otherwise specified"
On Sun, 24 Sep 2017, Gaelan Steele wrote: > Wait, where’s the typo? > > > On Sep 24, 2017, at 10:58 AM, Kerim Aydin <ke...@u.washington.edu> wrote: > > > > > > > > Crap: > >> If 0 is in the specified values for a numerical switch and no > >> default is otherwise default, 0 is the default for that switch. > > ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ > > > > I withdraw my proposal, "Numerical switches". > > > > (I was hoping to use this to propose Karma this week, I wanted the > > concepts separate but will need to combine now to save the AP...) > > > > >
