Werner LEMBERG Sun, 10 Sep 2017 23:17:45 -0700
> OK, here's what I'm committing: the same idiom as we use for > wint_t. [...]
Thanks! Werner