message: Use string | undefined instead of any.
diff: @@ -70,7 +70,7 @@ export class Logger {
  }
  }
  - showErrorMessage(message: string, ...args: string[]): Thenable<any> | undefined {
  + showErrorMessage(message: string, ...args: string[]): Thenable<string | undefined> | undefined {
  const configuration = vscode.workspace.getConfiguration('latex-workshop')
  if (configuration.get('message.error.show')) {
  return vscode.window.showErrorMessage(message, ...args)
  