Merge pull request #2899 from clinty/reenable-hopenpgp-tools

Revert "Disable hopenpgp-tools per #2812"
This commit is contained in:
Jens Petersen 2017-09-25 16:28:55 +09:00 committed by GitHub
commit 9215d1b229

View File

@ -875,7 +875,7 @@ packages:
- openpgp-asciiarmor
- MusicBrainz
- DAV
# - hopenpgp-tools # https://github.com/fpco/stackage/issues/2812
- hopenpgp-tools
- opensource
"Piyush P Kurur <ppk@cse.iitk.ac.in> @piyush-kurur":