Commit 60a7a434 authored by David Bommes's avatar David Bommes

Merge branch 'no-boost' into 'master'

Fix build without boost

Closes #6

See merge request !41
parents 32a385c0 8d3c0d5a
Pipeline #11704 passed with stages
in 8 minutes and 10 seconds