Skip to content

Conversation

@diskdance
Copy link
Contributor

@diskdance diskdance commented Aug 15, 2023

Following up #2493, somebody pointed out that several variants which were added to MediaWiki in May 2023 were missing here.

@jeanas jeanas merged commit db772bd into pygments:master Aug 15, 2023
@Anteru Anteru added this to the 2.17 milestone Nov 17, 2023
@Anteru Anteru added the A-lexing area: changes to individual lexers label Nov 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-lexing area: changes to individual lexers

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants