tree 39ff68f8f3fb00a6805b48bab73b19bd2b98d427
parent eac374d7e4d87f6d73f67b5658c9084dfead2d12
author Akron <nils@diewald-online.de> 1594109810 +0200
committer Akron <nils@diewald-online.de> 1594128706 +0200

Minor speedup in tokenization by merging array pushes

Change-Id: I138226acb2648cf606563c57b3783f011bab7795