Skip to content

Fix build after upgrading to ubuntu 19.10

Nicolas Marcelo Vazquez Picernorequested to merge
fixbuild into master

Fix conflicts while building

Merge request reports