I was confident that this patch is merged before MW 1.32 is released, but I seemingly misjusged that. I wanted to point out that there is no reference in the release notes about the changes already merged into MW 1.32 currently, as I planned to do this after all patches are merged. We should add this.
Thu, Dec 6
Wed, Dec 5
@Legoktm Do you have time to take a look at this?
Mon, Dec 3
I don't think I have knowledge and time to really contributed, I just subscribed this task because I'm interested in development and improvement of the Math extension.
Tue, Nov 27
Wed, Nov 21
Fri, Nov 16
Thu, Nov 15
Unaware of this, I just were annoyed because of the hugenedd of MediaWiki-Page-editing and moved all open tasks to a separate workboard column.
Tue, Nov 13
Mon, Nov 12
Well. migrating tracking tasks is a bit more work than just creating the project. I believe I have migrated most projects that are concerned, however there is one remaining question: Should MediaWiki-History-or-Diffs and MediaWiki-Page-editing be removed from any / most tasks using MediaWiki-Commenting now?