[01:05:42] <wikibugs__>	 06Multimedia, 06Commons, 10MediaWiki-File-management: Large GIF animations create errors - https://phabricator.wikimedia.org/T25063#3139104 (10czar) Alternatively, I'd welcome some kind of Commons tool that converted GIFs to `webm` if there is no chance that GIF compatibility will improve
[06:13:12] <wikibugs__>	 06Multimedia, 06Commons, 06Support-and-Safety, 10Wikimedia-General-or-Unknown, 06Zero: Commons and to a lesser extent other projects used as video hoster / file sharing site by Wikipedia Zero - https://phabricator.wikimedia.org/T129845#3139275 (10zhuyifei1999)
[20:39:47] <wikibugs>	 06Multimedia, 10Architecture, 06Commons, 10MediaWiki-File-management: Introduce InterruptMutexManager - https://phabricator.wikimedia.org/T161749#3141851 (10Krinkle)
[20:46:34] <wikibugs>	 06Multimedia, 10Architecture, 10MediaWiki-File-management: Introduce InterruptMutexManager - https://phabricator.wikimedia.org/T161749#3141893 (10Krinkle) We've talked about this briefly today in #archcom. We agreed we don't need an RFC for this, however the current commit is lacking a bit of design document...