diff options
| author | Jack Koenig | 2020-10-19 11:48:46 -0700 |
|---|---|---|
| committer | GitHub | 2020-10-19 18:48:46 +0000 |
| commit | fef0b68a465875ab74b2b1339b29254c762d3c53 (patch) | |
| tree | 4bcca91460d12dccc6879094fcc34079a54c433b /.github | |
| parent | ac641fb183e3a8866e6bd72123801cfb04a0c893 (diff) | |
Change prefix stack to List[String] (#1617)
This allows for sharing of the prefix stacks between Data, and removes a
boxing per prefix stack element that is no longer necessary.
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions