Unverified Commit 822fa051 authored by Justin Carpentier's avatar Justin Carpentier Committed by GitHub
Browse files

Merge pull request #1341 from jcarpent/topic/boost

Fix Boost warning + fix doc
parents 4dcea71b 4bea0715
Pipeline #12244 passed with stage
in 118 minutes and 41 seconds