tree e98911c32959602d026548641e3f3e453b9a6001
parent e5b43699cdc4b2b2c95a89ef5fa5bfeaac4b7928
author Davide Pesavento <davidepesa@gmail.com> 1637291764 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1637291764 -0500

Restore compatibility with older Boost versions

Change-Id: I0057556d06d17a2c39ba878af04c84771e76ed80