From ba25baeb9757b228a4d5ecfad0fc9a45ac2a6f9d Mon Sep 17 00:00:00 2001 From: Victor Zverovich Date: Thu, 14 May 2020 19:11:40 -0700 Subject: [PATCH] Apply doc patch to 6.2.1 --- support/manage.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/support/manage.py b/support/manage.py index 58fbcddb..acb0d3c5 100755 --- a/support/manage.py +++ b/support/manage.py @@ -147,7 +147,7 @@ def update_site(env): #b.data = b.data.replace('operator""_', 'operator"" _') b.data = b.data.replace(', size_t', ', std::size_t') b.data = b.data.replace('aa long', 'a long') - if version == '6.2.0': + if version.startswith('6.2.'): b.data = b.data.replace( 'vformat(const S&, basic_format_args<' + 'buffer_context>)',