Vincent Laporte 5b3dc48f19 coqPackages.stdpp: 1.1 -> 1.2.1; coqPackages.iris: 3.1.0 -> 3.2.0 ... Ensures compatibility with Coq ≥ 8.9		2019-09-06 11:51:34 +00:00
..
applications	Merge pull request #68144 from fgaz/fgaz/remove-qt-stdenv	2019-09-06 05:19:39 -04:00
build-support	Merge pull request #67805 from Infinisil/more-git-determinism	2019-09-06 10:24:45 +02:00
common-updater
data	Merge branch 'gtk-no-plus'	2019-09-06 02:57:51 +02:00
desktops	Merge pull request #68173 from jonringer/bump-gitg	2019-09-06 09:13:19 +02:00
development	coqPackages.stdpp: 1.1 -> 1.2.1; coqPackages.iris: 3.1.0 -> 3.2.0	2019-09-06 11:51:34 +00:00
games	Merge remote-tracking branch 'upstream/master' into staging-next	2019-08-31 06:53:44 -04:00
misc	tree-wide: s/GTK+/GTK/g	2019-09-06 02:54:53 +02:00
os-specific	Merge pull request #68042 from dtzWill/update/v4l-utils-1.16.7	2019-09-05 09:00:18 +02:00
servers	Merge pull request #68131 from 1000101/process-exporter	2019-09-05 21:09:33 +02:00
shells	zsh-you-should-use: 1.1.0 -> 1.4.0	2019-09-01 21:32:38 +02:00
stdenv	Merge remote-tracking branch 'upstream/master' into feature/js-unknown-ghcjs	2019-09-02 01:31:31 -04:00
test
tools	Merge pull request #68186 from marsam/update-procs	2019-09-06 06:10:47 -05:00
top-level	Merge pull request #68007 from xbreak/clipp	2019-09-06 12:48:24 +02:00