diff --git a/support/manage.py b/support/manage.py index acb0d3c5..2f6a776d 100755 --- a/support/manage.py +++ b/support/manage.py @@ -147,6 +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') + b.data = b.data.replace('serveral', 'several') if version.startswith('6.2.'): b.data = b.data.replace( 'vformat(const S&, basic_format_args<' +