diff options
author | https://www.google.com/accounts/o8/id?id=AItOawlXlJDAF_lXaxbqeBdH4EGj6jsBjjrDODM <Antoine@web> | 2012-11-21 07:33:43 +0000 |
---|---|---|
committer | admin <admin@branchable.com> | 2012-11-21 07:33:43 +0000 |
commit | 4e34aa897fa3ac926616a83b06a276fb8983e625 (patch) | |
tree | 1aa950b24059ba0ca502bef1a04fde5e1f314500 /doc/bugs/3.20121112_build_fails_on_Ubuntu_12.04 | |
parent | 2d1c4db529311a4036be453ce33bba8831cc5085 (diff) |
Added a comment
Diffstat (limited to 'doc/bugs/3.20121112_build_fails_on_Ubuntu_12.04')
-rw-r--r-- | doc/bugs/3.20121112_build_fails_on_Ubuntu_12.04/comment_4_2f8a859fef9edc8eb93bf1cc74296702._comment | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/bugs/3.20121112_build_fails_on_Ubuntu_12.04/comment_4_2f8a859fef9edc8eb93bf1cc74296702._comment b/doc/bugs/3.20121112_build_fails_on_Ubuntu_12.04/comment_4_2f8a859fef9edc8eb93bf1cc74296702._comment new file mode 100644 index 000000000..781259e79 --- /dev/null +++ b/doc/bugs/3.20121112_build_fails_on_Ubuntu_12.04/comment_4_2f8a859fef9edc8eb93bf1cc74296702._comment @@ -0,0 +1,8 @@ +[[!comment format=mdwn + username="https://www.google.com/accounts/o8/id?id=AItOawlXlJDAF_lXaxbqeBdH4EGj6jsBjjrDODM" + nickname="Antoine" + subject="comment 4" + date="2012-11-21T07:33:43Z" + content=""" +I have the same problem (sorry, duplicate bug entry) on the same platform. The ghc version is 7.4.1 and is the one distributed by apt repos. +"""]] |