Merge pull request #3224 from bunnei/boost-ext-update

externals: Update boost-ext to include safe_numerics.
merge-requests/60/head
bunnei 2019-12-14 16:13:47 +07:00 committed by GitHub
commit ccda77c8c4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

2
externals/boost vendored

@ -1 +1 @@
Subproject commit 0b920df1c90f4eb84e2f2b10bee8804b0f6472b2
Subproject commit 5e8300b76a627f3a1ba215304e04ead33b5bc233