Closed timhoffm closed 5 years ago
scanner may be NULL.
reported upstream from https://github.com/texstudio-org/texstudio/pull/358
scanner may be NULL.
reported upstream from https://github.com/texstudio-org/texstudio/pull/358