Commit bae6ed62010508c2e2b0559f9eee41e62e52eb7a

Patrick Steinhardt 2018-06-01T13:17:28

Merge pull request #4530 from tiennou/fix/docurium-missing-includes Fix docurium missing includes