This repository was archived by the owner on Mar 19, 2024. It is now read-only.

fix a typo and some lint warnings#295

Merged

davigonz merged 1 commit intomasterfrom

Jan 14, 2020

Commits on Jan 2, 2020

fix a typo and some lint warnings
hannesa2
committed