3 ms·

I feel like it's better to err on the safe side.

• dwild 7y ago
  You don't want to flood github with wrong issue, that's a good way to lose the right to open issue altogether.