Merge remote-tracking branch 'upstream/master' into HEAD

This commit is contained in:
Robert Widmann
2020-02-11 14:29:06 -08:00
162 changed files with 4020 additions and 3054 deletions

View File

@@ -433,7 +433,7 @@ std::string SerializedModuleBaseName::getName(file_types::ID fileTy) const {
result += '.';
result += file_types::getExtension(fileTy);
return std::string(result);
return std::string(result.str());
}
bool