Got a mail:
From: "MediaWiki" <wiki@wikimedia.org>
Subject: MediaWiki page Help:Export has been changed by Shirayuki
To: "Jidanni" <jidanni@jidanni.org>
Date: Tue, 05 Nov 2019 21:21:40 +0800
Reply-To: wiki@wikimedia.orgDear Jidanni,
The MediaWiki page Help:Export has been changed on 5 November 2019 by
Shirayuki, see https://www.mediawiki.org/wiki/Help:Export for the
current revision.Editor's summary: -
Contact the editor:
mail: https://www.mediawiki.org/wiki/Special:EmailUser/Shirayuki
wiki: https://www.mediawiki.org/wiki/User:ShirayukiThere will be no other notifications in case of further activity unless
you visit this page while logged in. You could also reset the
notification flags for all your watched pages on your watchlist.Your friendly MediaWiki notification system
However on https://www.mediawiki.org/w/index.php?title=Help:Export&action=history
curprev  12:47, 5 November 2019 Jidanni talk contribs 15,747 bytes +42 Exporting all the files of a wiki undo
curprev  12:08, 19 October 2019 Shirayuki talk contribs m 15,705 bytes -4 undothank
curprev  19:37, 18 September 2019 Shirayuki talk contribs m 15,709 bytes +3 https undothank
I.e., you sent the notice to the wrong person.
You should notify him that I changed the page.