fix: wrong type in set_incidence_counter
Merge branch 'upstream_patch'
Merge remote branch 'upstream/master'
Merge branch 'master' of github.com:bkrueger/mocasinns
add notice about libising