Fix mediawiki integration #63

Merged

raucao merged 1 commits from bugfix/mediawiki_accident into master 2020-10-29 14:13:13 +00:00

Conversation 0 Commits 1 Files Changed 1 +1

1 Commits

Author	SHA1	Message	Date
Sebastian Kippe	f05436e9b9	Fix mediawiki integration ... Accidentally deleted a line in a recent PR, and it slipped through the review.	2020-10-29 15:12:50 +01:00