build-support
|
Merge master into staging-next
|
2020-08-11 10:26:35 +02:00 |
data
|
Merge pull request #94823 from romildo/upd.theme-jade-1
|
2020-08-13 09:28:15 -03:00 |
desktops
|
gnome3.gnome-desktop: 3.36.4 -> 3.36.5
|
2020-08-14 12:30:19 +02:00 |
development
|
doxygen: 1.8.18 -> 1.8.19
|
2020-08-15 08:31:54 +02:00 |
os-specific
|
Merge branch 'staging-next' into staging
|
2020-08-13 21:59:15 +02:00 |
servers
|
postgresql_12: 12.3 -> 12.4
|
2020-08-13 20:04:00 -05:00 |
tools
|
Merge branch 'staging-next' into staging
|
2020-08-13 21:59:15 +02:00 |
top-level
|
Merge branch 'staging-next' into staging
|
2020-08-13 21:59:15 +02:00 |