data
|
Merge pull request #42388 from devx/update-font-awesome-5
|
2018-06-28 22:09:12 -04:00 |
desktops
|
gspell: move to top-level
|
2018-06-29 18:41:59 +02:00 |
development
|
python-openid: remove, only keep python3-openid
|
2018-06-29 21:37:45 +02:00 |
games
|
treewide: http -> https sources (#42676)
|
2018-06-28 20:43:35 +02:00 |
os-specific
|
linux-hardened: Adjust for Linux 4.17
|
2018-06-29 08:37:25 -04:00 |
servers
|
grafana: 5.2.0 -> 5.2.1
|
2018-06-29 13:58:07 +02:00 |
shells
|
elish: add shellPath attribute
|
2018-06-29 13:36:59 -04:00 |
tools
|
beets: 1.4.6 -> 1.4.7
|
2018-06-29 21:29:49 +02:00 |
top-level
|
Merge pull request #42759 from Zimmi48/coq-8.8.1
|
2018-06-29 13:31:01 -07:00 |