Merge pull request #2772 from github/starcke/fix-rename-comment

Fix a comment that should be renamed.
This commit is contained in:
Anders Starcke Henriksen
2023-09-01 11:52:00 +02:00
committed by GitHub

View File

@@ -226,7 +226,7 @@ async function autoCreateExtensionPack(
extensionPacksInfo: QlpacksInfo,
logger: NotificationLogger,
): Promise<ExtensionPack | undefined> {
// Get the `codeQL.dataExtensions.extensionsDirectory` setting for the language
// Get the `codeQL.model.extensionsDirectory` setting for the language
const userExtensionsDirectory = getExtensionsDirectory(language);
// If the setting is not set, automatically pick a suitable directory