applications
|
notmuch: 0.28 -> 0.28.1
|
2019-02-01 17:33:59 -06:00 |
build-support
|
cc-wrapper: set priority to 10
|
2019-01-31 20:07:55 -05:00 |
development
|
ghc-8.8: de-null parallel
|
2019-02-02 13:13:18 +01:00 |
games
|
Merge pull request #53872 from Profpatsch/ankidocs
|
2019-01-30 13:45:12 -05:00 |
servers
|
Merge pull request #53860 from marsam/update-pg_topn
|
2019-02-02 00:48:46 +02:00 |
tools
|
Merge pull request #55009 from dotlambda/papis-0.7.5
|
2019-02-02 12:08:21 +01:00 |
top-level
|
Merge pull request #55009 from dotlambda/papis-0.7.5
|
2019-02-02 12:08:21 +01:00 |