John Wiegley 4d28621c44 Merge pull request #42759 from Zimmi48/coq-8.8.1 ... coq_8_8: 8.8.0 -> 8.8.1		2018-06-29 13:31:01 -07:00
..
applications	Merge pull request #42759 from Zimmi48/coq-8.8.1	2018-06-29 13:31:01 -07:00
build-support	trivial-builders: disallow sub in requireFile	2018-06-26 21:49:08 -04:00
common-updater
data	Merge pull request #42388 from devx/update-font-awesome-5	2018-06-28 22:09:12 -04:00
desktops	gspell: move to top-level	2018-06-29 18:41:59 +02:00
development	python-openid: remove, only keep python3-openid	2018-06-29 21:37:45 +02:00
games	treewide: http -> https sources (#42676)	2018-06-28 20:43:35 +02:00
misc	Merge pull request #41954 from jraygauthier/jrg/hplip_fixes_rebased	2018-06-29 09:17:50 +02:00
os-specific	linux-hardened: Adjust for Linux 4.17	2018-06-29 08:37:25 -04:00
servers	grafana: 5.2.0 -> 5.2.1	2018-06-29 13:58:07 +02:00
shells	elish: add shellPath attribute	2018-06-29 13:36:59 -04:00
stdenv	make-bootstrap-tools-cross: remove broken i686-musl variant	2018-06-25 11:16:10 -05:00
test	Merge remote-tracking branch 'upstream/master' into staging	2018-06-18 15:30:39 -04:00
tools	beets: 1.4.6 -> 1.4.7	2018-06-29 21:29:49 +02:00
top-level	Merge pull request #42759 from Zimmi48/coq-8.8.1	2018-06-29 13:31:01 -07:00