Resolve "add ubuntu20.04, debian10 as supported OS, drop ubuntu16.04, debian9"

Closes #21 (closed)

Edited by Fabien Combernous

Merge request reports

Loading