-
Volker Krause authored
This can still be done more efficiently, but here we usually only have few tokens to process, so this isn't a priority for now, and it's certainly more efficient than before.
caa08a51
This can still be done more efficiently, but here we usually only have few tokens to process, so this isn't a priority for now, and it's certainly more efficient than before.