Sensorflo/pr35#3

Merged

TobiasZawada merged 2 commits intomasterfrom

May 29, 2022

Commits on May 28, 2022

edit to remove some of the warnings from flycheck

phelanm
authored and
TobiasZawada
committed

Commits on May 29, 2022

Re-formulate first comment line of adoctest-trans.
TobiasZawada
committed