diff options
author | Joey Hess <joeyh@joeyh.name> | 2016-12-30 18:27:28 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2016-12-30 18:27:28 -0400 |
commit | b3e51092d1c1e411f6eb2b79fddd9d86235c1ba5 (patch) | |
tree | 884737c503b45e49855b8422c08945e060396970 | |
parent | 6aafcd5a31342b993c83c9240eef7200398bd284 (diff) |
response
-rw-r--r-- | doc/bugs/git-annex__58___unable_to_decommit_memory__58___Invalid_argument/comment_1_9b81586657226bf010145d1cd661885a._comment | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/bugs/git-annex__58___unable_to_decommit_memory__58___Invalid_argument/comment_1_9b81586657226bf010145d1cd661885a._comment b/doc/bugs/git-annex__58___unable_to_decommit_memory__58___Invalid_argument/comment_1_9b81586657226bf010145d1cd661885a._comment new file mode 100644 index 000000000..c00a7465f --- /dev/null +++ b/doc/bugs/git-annex__58___unable_to_decommit_memory__58___Invalid_argument/comment_1_9b81586657226bf010145d1cd661885a._comment @@ -0,0 +1,11 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 1""" + date="2016-12-30T22:26:10Z" + content=""" +This is a known bug, that is supposed to be fixed in 6.20161210. + +However, the fix involved upgrading the ghc compiler. I think that probably +this has not been done in the neurodebian build yet. I will mention it to +yoh again. +"""]] |