xeji 2d88a7b968 Merge pull request #40293 from romildo/upd.theme-jade-1 ... theme-jade1: init at 3.2		2018-05-10 21:28:41 +02:00
..
applications	Merge pull request #40289 from yegortimoshenko/mpv-bump	2018-05-10 18:21:38 +02:00
build-support	dockerTools.pullImage: Fix build with sandboxing	2018-05-06 04:57:24 +02:00
common-updater
data	all-cabal-hashes: update to latest version	2018-05-08 17:48:12 +02:00
desktops	gnome3.gnome-clocks: add fallback sound theme	2018-05-09 03:12:41 +02:00
development	Merge pull request #38957 from guibou/guibou_pysensors	2018-05-10 19:42:30 +02:00
games	wesnoth: unite with wesnoth-dev	2018-05-08 16:06:30 +03:00
misc	theme-jade1: init at 3.2	2018-05-10 14:46:32 -03:00
os-specific	linux: 4.16.7 -> 4.16.8	2018-05-10 07:58:04 -04:00
servers	monetdb: Build with readline for better interactivity	2018-05-10 13:04:48 +02:00
shells	dash: 0.5.9.1 -> 0.5.10	2018-05-07 04:32:20 -07:00
stdenv	Merge pull request #40154 from obsidiansystems/stdenv-arm-alias	2018-05-08 14:24:58 -04:00
test
tools	Merge pull request #40295 from obsidiansystems/fewer-crossAttrs	2018-05-10 14:46:27 -04:00
top-level	Merge pull request #40293 from romildo/upd.theme-jade-1	2018-05-10 21:28:41 +02:00