diff options
| author | Giovanni Mascellani <gio@debian.org> | 2020-01-06 12:25:03 +0100 |
|---|---|---|
| committer | Christian Pointner <equinox@spreadspace.org> | 2020-01-06 14:02:30 +0100 |
| commit | 760302453396dcad193570889030e267c971834d (patch) | |
| tree | 65d496646e294b050f0a43b5a7b3613606d34161 /doc | |
| parent | fix build with boost 1.67 (diff) | |
Fix build with Boost 1.71.
get_io_service() was deprecated in favour of get_executor() starting
from Boost 1.70.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions