Chad has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/379417 )
Change subject: Rm FormatNum
......................................................................
Rm FormatNum
Bug:T176081
Change-Id: Ia3a3803b997858ae05c7b185e8c43bc7aca3e47c
---
M .gitmodules
D FormatNum
2 files changed, 0 insertions(+), 5 deletions(-)
Approvals:
Chad: Verified; Looks good to me, approved
diff --git a/.gitmodules b/.gitmodules
index 7782531..bd31d75 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -866,10 +866,6 @@
path = FormatDates
url = https://gerrit.wikimedia.org/r/mediawiki/extensions/FormatDates
branch = .
-[submodule "FormatNum"]
- path = FormatNum
- url = https://gerrit.wikimedia.org/r/mediawiki/extensions/FormatNum
- branch = .
[submodule "FormelApplet"]
path = FormelApplet
url = https://gerrit.wikimedia.org/r/mediawiki/extensions/FormelApplet
diff --git a/FormatNum b/FormatNum
deleted file mode 160000
index c86443f..0000000
--- a/FormatNum
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit c86443f60cbce44fe8b10ac4cc7ca790884d7b9c
--
To view, visit https://gerrit.wikimedia.org/r/379417
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ia3a3803b997858ae05c7b185e8c43bc7aca3e47c
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions
Gerrit-Branch: master
Gerrit-Owner: MacFan4000 <paulfkef...@gmail.com>
Gerrit-Reviewer: Chad <ch...@wikimedia.org>
Gerrit-Reviewer: Florianschmidtwelzow <florian.schmidt.stargatewis...@gmail.com>
Gerrit-Reviewer: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: Umherirrender <umherirrender_de...@web.de>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
