Jaime van Kessel eee84a82bf
Use exception instead of check if key is in dict
Since the amount of times that the key is in there is orders of magnitude
larger, it's better to catch the exception when it doesn't (as that is
slightly faster)
2020-08-14 15:15:33 +02:00
..
2017-09-28 13:00:43 +02:00
2020-05-28 17:13:44 +02:00