-
Robin Sonnabend authored/close #186 This is the reason why the errors for #107 were not reported. Still, this does not fix pushing to MediaWiki, as the problem is on the wiki side.
5f051d53
/close #186 This is the reason why the errors for #107 were not reported. Still, this does not fix pushing to MediaWiki, as the problem is on the wiki side.