Use new boost::optional API

get_value_or() has been deprecated since boost 1.56
This commit is contained in:
Robin Gareus 2019-11-21 17:48:56 +01:00
parent 216492c60c
commit d4ecfc7d85
No known key found for this signature in database
GPG key ID: A090BCE02CF57F04
7 changed files with 13 additions and 13 deletions