Merge branch 'ubuntu_18_04' into 'master'
Changed the deprecated auto_ptr for the unique_ptr. See merge request !1
scripts/debian/postinst
0 → 100755
scripts/debian/prerm
0 → 100644
Please register or sign in to comment