Skip to content

Issue 947 and compilation improvements

Francesco Manirequested to merge
issue_947 into develop

This MR started with a small commit (03c7f151) to close #947 (closed). Little did I know that I would be taken in a long journey through OAI compilation hell.

Merge request reports