tree 8ae10fe2eea81c5a9d2b5ab99a2a9765a916b7ed
parent 9603325ba6e35a0b985c77e074b77e3a3e7030ea
author Davide Pesavento <davidepesa@gmail.com> 1587438002 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1587589764 -0400

build: recommend boost >= 1.65.1

With this commit, Ubuntu 16.04 is no longer officially supported
and may require manual installation of a newer version of Boost.

Refs: #5087
Change-Id: I17197f72ee8f7cd4d0954658fe57c324076f1311