Change: Heading for 14 now. (#10302)

This commit is contained in:
Michael Lutz
2023-01-01 22:52:23 +01:00
committed by GitHub
parent 5e22788664
commit 150f05dc15
14 changed files with 32 additions and 8 deletions

View File

@@ -23,7 +23,7 @@
*/
static bool CheckAPIVersion(const char *api_version)
{
static const std::set<std::string> versions = { "1.2", "1.3", "1.4", "1.5", "1.6", "1.7", "1.8", "1.9", "1.10", "1.11", "12", "13" };
static const std::set<std::string> versions = { "1.2", "1.3", "1.4", "1.5", "1.6", "1.7", "1.8", "1.9", "1.10", "1.11", "12", "13", "14" };
return versions.find(api_version) != versions.end();
}