Yucheng Zhang 1f433e51b6 opam: 2.0.0 -> 2.0.2		2019-01-25 12:15:16 +08:00
..
applications	coq_8_9: 8.9+beta1 -> 8.9.0	2019-01-24 09:08:51 +00:00
build-support	Merge pull request #53934 from Mic92/prefer-fetch-remote	2019-01-21 10:47:59 +00:00
common-updater
data	Merge pull request #54462 from dotlambda/python-pkgs-remove	2019-01-23 09:38:40 +01:00
desktops	libglade: fix on darwin	2019-01-22 11:33:30 -05:00
development	opam: 2.0.0 -> 2.0.2	2019-01-25 12:15:16 +08:00
games	Merge pull request #54356 from etu/update-lsi	2019-01-24 00:54:14 +01:00
misc	Merge pull request #53084 from timokau/neovim-remote-plugins	2019-01-21 20:45:06 +00:00
os-specific	Merge pull request #54516 from matthewbauer/column	2019-01-24 00:58:36 +01:00
servers	Merge pull request #53796 from Izorkin/ejabberd	2019-01-24 00:57:54 +01:00
shells	bash_5: 5.0p0 -> 5.0p2	2019-01-20 01:25:17 -06:00
stdenv	stdenv: allow custom stdenv to take crossOverlays	2019-01-07 20:53:10 -06:00
test
tools	Merge pull request #53505 from marsam/update-tmuxp	2019-01-24 08:41:38 +01:00
top-level	coq_8_9: 8.9+beta1 -> 8.9.0	2019-01-24 09:08:51 +00:00