tree 8d63a85fff3a7fdaf845adf715e9f0f1b69fb4e1
parent 0a71dd3a00e95e3c4df4298ce21ccffd6c42afa4
author Davide Pesavento <davidepesa@gmail.com> 1553275802 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1553305469 -0400

face+tools: fix compilation with Boost 1.69.0

Refs: #4890
Change-Id: I64c2e6ac99767fbd0b8afa9669eb6097148f8628