[02:25:31] <wm-bb>	 <CaovanHo> /https://developer.chrome.com/docs/webstore/discovery?hl=vi#featured-badge
[02:25:32] <wm-bb>	 <CaovanHo> 🏨 (re @CaovanHo: )
[02:40:35] <wm-bb>	 <jhsoby> /https
[05:46:57] <wm-bb>	 <jeremy_b> https://releases.wikimedia.org/mediawiki/1.20/ has both mediawiki-1.20.8.tar.gz and mediawiki-1.20.8.patch.gz
[05:46:57] <wm-bb>	 <jeremy_b> should be enough to get back to 1.20.7 contents.
[05:46:59] <wm-bb>	 <jeremy_b> 
[05:47:00] <wm-bb>	 <jeremy_b> TimStarling is this enough for your hunt or you're also worried about e.g. having a different version of tar or gzip? or not having exactly the same timestamps in the tar.
[05:48:31] <wm-bb>	 <jeremy_b> https://lists.wikimedia.org/hyperkitty/list/mediawiki-l@lists.wikimedia.org/thread/56ZFBJKNSL4WMSZ5THZOKHN3CNIGRHUY/ (re @jeremy_b: https://releases.wikimedia.org/mediawiki/1.20/ has both mediawiki-1.20.8.tar.gz and mediawiki-1.20.8.patch.gz
[05:48:32] <wm-bb>	 <jeremy_b> should be enough t...)
[10:37:20] <wm-bb>	 <jeremy_b> makes me wonder if there's something like jigdo for tarballs
[10:40:26] <wm-bb>	 <jeremy_b> no luck at http://www.oldversion.com/search?query=mediawiki