This page notes "The Nuke extension was not included in the tarball for MediaWiki 1.31.0 by mistake. If you want to use this extension, please download the extension separately. This will be fixed in the next MediaWiki release." When / how will this be corrected. Will this be a 1.31.1 release, or by saying "next release" are you saying you won't correct this until 1.32? The issue is not mentioned in [[Release notes/1.31]] ... presumably because it was an unintentional issue, but shouldn't it be mentioned? Thanks. --2001:558:6017:189:4857:3BE0:CCA0:87E4 09:22, 19 July 2018 (UTC)
Topic on Talk:MediaWiki 1.31
Usually a new "minor release" (1.31.1) is released when there's a new security bug discovered and fixed. If a major bug is fixed it may also generate a new minor release, or if there are various bugs fixed, but that depends entirely on the release team. I don't think the Nuke extension itself will be worth to generate a new minor release.