Minor speed ups (!6) · Merge requests · Daniel Espinosa Ortiz / gvls · GitLab

The source project of this merge request has been removed.

Rico Tzschichholz requested to merge (removed):wip/scanner into master Nov 25, 2019