Matthias Radestock 56a1efd38a optimisation: pre-allocate some maps ...

This doesn't make much of a difference, since we don't create many of
these. But it's easy enough to do, and every little helps.

2017-12-26 00:35:02 +00:00

5.2 KiB

Raw Blame History

View Raw