Skip to content
GitLab
Explore
Sign in
Register
ResearchAndDevelopment
idg
Merge requests
!137
Fix issue 16
Code
Review changes
Check out branch
Download
Patches
Plain diff
Bram Veenboer
requested to merge
issue-16
into
master
Aug 24, 2021
Overview
0
Commits
2
Pipelines
6
Changes
2
Expand
Fix compilation warnings and error on Ubuntu 18.04. This fixes
#16 (closed)
.
Merge request reports