Merge branch 'master' into feature/funding

This commit is contained in:
@starkos 2019-07-23 11:35:34 -04:00 committed by GitHub
commit dc0dac5506
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -125,7 +125,7 @@
["none"] = "system", ["none"] = "system",
["gabi++"] = "gabi++", ["gabi++"] = "gabi++",
["stlport"] = "stlport", ["stlport"] = "stlport",
["gnustl"] = "gnustl", ["gnu"] = "gnustl",
["libc++"] = "c++", ["libc++"] = "c++",
} }