Bug ID: 63372
           Summary: Remove repo mediawiki/extensions/DataTypes
           Product: Wikimedia
           Version: wmf-deployment
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: Unprioritized
         Component: Git/Gerrit
       Web browser: ---
   Mobile Platform: ---

It's been read-only for since early 2014, and development has continued on

Please wait for Jeroen de Dauw's confirmation before acting on this request.

You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
Wikibugs-l mailing list

Reply via email to