2 ms·

Thanks, I wasn't sure if there was some other discussion that was not on Github.

• steveklabnik 5y ago
  If there is I’m not aware of it, but that certainly doesn’t mean there isn’t; I wouldn’t be in the room if there was.