Gabriel Ebner b03c6ef37d Merge pull request #99503 from NieDzejkob/isabelle-z3-fix		2020-10-11 12:39:09 +02:00
..
accessibility
audio	soundkonverter: remove trailing whitespace	2020-10-09 18:29:53 +10:00
backup	vorta: Fix double wrapping	2020-10-08 18:57:24 +02:00
blockchains	Merge pull request #99662 from prusnak/monero	2020-10-08 17:34:41 +02:00
display-managers
editors	Merge pull request #100076 from meutraa/update/android-studio-stable	2020-10-10 15:51:04 +02:00
gis	zombietrackergps: init at 1.01	2020-10-10 11:20:17 -04:00
graphics	Merge pull request #96934 from bcdarwin/f3d	2020-10-10 08:23:49 -05:00
kde	elisa: use libvlc	2020-09-25 10:47:43 -05:00
logging/humioctl	humioctl: 0.26.1 -> 0.27.0	2020-09-25 09:44:46 +00:00
misc	Merge pull request #99998 from lovesegfault/octoprint-plugin-bump	2020-10-11 12:25:53 +02:00
networking	thunderbird*-68: mark as insecure	2020-10-11 11:16:27 +02:00
office	espanso: 0.7.1 -> 0.7.2	2020-10-03 18:10:45 +02:00
qubes/qubes-core-vchan-xen	qubes-core-vchan-xen: 4.1.2 -> 4.1.4	2020-09-30 17:47:12 +00:00
radio	Merge pull request #98823 from r-ryantm/auto-update/multimon-ng	2020-10-07 22:32:30 +02:00
science	Merge pull request #99503 from NieDzejkob/isabelle-z3-fix	2020-10-11 12:39:09 +02:00
search
system
version-management	gitAndTools.delta: 0.4.3 -> 0.4.4	2020-10-11 09:30:37 +10:00
video	fix	2020-10-05 11:37:50 +08:00
virtualization	Merge pull request #99383 from fadenb/virt-manager-qt_fix	2020-10-10 20:28:17 +02:00
window-managers	Merge pull request #99604 from berbiche/cagebreak	2020-10-08 00:05:57 -03:00