Merge branch 'master' of ssh://git-annex.branchable.com

This commit is contained in:
Joey Hess 2019-05-29 09:24:52 -04:00
commit 9831d366a0
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38

View file

@ -0,0 +1,11 @@
[[!comment format=mdwn
username="emanuele.olivetti@47d88ed185b03191e25329caa6fabc2efb3118b2"
nickname="emanuele.olivetti"
avatar="http://cdn.libravatar.org/avatar/f51cc5c6c3a0eb28faa6491c3cbcfcce"
subject="Misconfiguration in GHC"
date="2019-05-28T20:38:07Z"
content="""
Apparently, the issue described above is due to a misconfiguration of `ghc`, as reported in this recent [Debian Bug Report (#928882)](https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=928882) which was triggered by [another bug report (#915333)](https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=915333) from users reporting `git-annex` not working in Debian on arm5te.
In essence, this misconfiguration causes **all** Debian packages compiled with ghc not to work on ARM architectures below arm6. I hope that the proposed patch will be accepted soon.
"""]]