Skip to content

Merge branch 'fix/compatibility-with-mac' into 'master'

kilian.weishaupt_at_iws.uni-stuttgart.de requested to merge cherry-pick-4bfc2227 into releases/2.6-1

Fix/compatibility with mac

See merge request !11 (merged)

(cherry picked from commit 4bfc2227)

2dda34fc [compatibility] Use unsigned int instead of uint 726861fe [compatibility] Use instead of <tr1/memory>

Merge request reports