Jörg Thalheim 84890ac196 Merge pull request #48653 from vbgl/why3-1.1.0 ... why3: 1.0.0 -> 1.1.0		2018-10-18 18:55:10 +01:00
..
altcoins	monero-gui: 0.13.0.2 -> 0.13.0.3	2018-10-17 18:04:51 +02:00
audio	pulseaudio-modules-bt: Patched rpath takes precedence over original	2018-10-18 16:27:42 +08:00
backup
display-managers	Merge pull request #44920 from eadwu/init/lightdm-enso-os-greeter	2018-10-08 13:54:31 -05:00
editors	magit-filenotify: Fix missing dependency on git	2018-10-16 15:39:49 +01:00
gis	saga: add mpickering as a co-maintainer after #39125	2018-10-15 13:28:24 +03:00
graphics	rapid-photo-downloader: 0.9.10 -> 0.9.12	2018-10-15 13:45:10 +02:00
inferno
kde	marble: Add dev output	2018-10-08 22:56:23 +02:00
misc	gpa: 0.9.10 -> 0.10.0 (#48620)	2018-10-17 16:49:39 +02:00
networking	chromium 71+: there is no more option 'use_gtk3' (#48595)	2018-10-17 23:04:15 +02:00
office	Merge pull request #48502 from r-ryantm/auto-update/homebank	2018-10-16 10:10:58 +02:00
science	Merge pull request #48653 from vbgl/why3-1.1.0	2018-10-18 18:55:10 +01:00
search
version-management	Merge pull request #48306 from NixOS/staging-next	2018-10-18 11:23:04 +02:00
video	Merge pull request #48410 from r-ryantm/auto-update/libopenshot	2018-10-16 01:05:47 +01:00
virtualization	Merge pull request #48472 from joachifm/lkl-bump	2018-10-16 19:40:46 +00:00
window-managers	pekwm: small fixes	2018-10-06 23:36:19 -03:00