Merge pull request #3136 from barrucadu/patch-1

Remove deprecated async-dejafu and dpor packages
This commit is contained in:
Luke Murphy 2017-12-23 15:18:38 +01:00 committed by GitHub
commit aaf0fa7f9f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1918,9 +1918,7 @@ packages:
"Michael Walker <mike@barrucadu.co.uk> @barrucadu":
- both
- concurrency
- dpor
- dejafu
- async-dejafu
- hunit-dejafu
- tasty-dejafu
- irc-ctcp