Skip to content

Resolve "drop debian-9, add debian-10 , add ubuntu-20.04"

Fabien Combernous requested to merge 92-drop-debian-9-add-debian-10-drop-ubuntu-16-04-add-ubuntu-20-04 into master

Closes #92 (closed)

Edited by Fabien Combernous

Merge request reports