Commit 83659676 authored by Jan Möbius's avatar Jan Möbius

Merge branch 'property_map_hfh_int_support' into 'master'

Property map hfh int support

See merge request !22
parents d13ed9c3 c254c0cd
Pipeline #6013 passed with stage
in 3 minutes and 53 seconds