Commit 69b17a0e authored by Guido Gunther's avatar Guido Gunther

Merge branch 'use-phoc-by-default' into 'master'

Use phoc by default

Closes phoc#15

See merge request !40
parents 816025d6 91d2631b
Pipeline #20047 passed with stage
in 48 seconds