Archive the mediawiki/extensions/Pickle

Authored by Florian on Jul 6 2017, 2:59 PM.

Description

Archive the mediawiki/extensions/Pickle

Could also be removed, as the gerrit repo is read-only, but hey.

Bug: T167610
Change-Id: Ie3e2a0381c04d9de67b3e3ecf95140f20ac7a695

Details

Committed
jenkins-bot <jenkins-bot@gerrit.wikimedia.org>Jul 17 2017, 8:59 AM
Parents
rCICF6d7de543943b: Archive AjaxLogin extension
Branches
Unknown
Tags
Unknown
References
refs/changes/14/363614/2
ChangeId
Ie3e2a0381c04d9de67b3e3ecf95140f20ac7a695
jenkins-bot <jenkins-bot@gerrit.wikimedia.org> committed rCICFaf64707755eb: Archive the mediawiki/extensions/Pickle (authored by Florian).Jul 17 2017, 8:59 AM