[MediaWiki-commits] [Gerrit] mediawiki/skins[master]: rm DeepSea

2017-07-24 Thread Florianschmidtwelzow (Code Review)
Florianschmidtwelzow has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/367039 ) Change subject: rm DeepSea .. rm DeepSea Bug: T171385 Change-Id: I27152ec3a5979ec3731e9c250ef79ef55460d005 --- M

[MediaWiki-commits] [Gerrit] mediawiki/skins[master]: rm DeepSea

2017-07-22 Thread MacFan4000 (Code Review)
MacFan4000 has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/367039 ) Change subject: rm DeepSea .. rm DeepSea Change-Id: I27152ec3a5979ec3731e9c250ef79ef55460d005 --- M .gitmodules D DeepSea 2 files