3 ms·(Also, if this isn't clear, clippy is more than happy to accept PRs for criteria like these.)by Manishearth 9y ago(Also, if this isn't clear, clippy is more than happy to accept PRs for criteria like these.)