Issue 231#293

Closed

gsmolk wants to merge 7 commits intomasterfrom

Commits on Dec 11, 2020

[Issue #231] WIP
gsmolk
committed

Commits on Jan 20, 2021

[Issue #231] add comments about future improvements
gsmolk
committed