mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

comment

Browse source
This commit is contained in:
Joey Hess 2019-05-29 09:59:34 -04:00
parent 9831d366a0
commit b114a90fae
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
doc/bugs/Linux_standalone_on_armv5tel__58___error__58_____34__git-annex_died_of_signal_4__34__/comment_3_9117c76ad8f74c1f11eda2ecf7144402._comment Normal file
View file

@ -0,0 +1,9 @@
[[!comment format=mdwn
username="joey"
subject="""comment 3"""
date="2019-05-29T13:58:43Z"
content="""
Thanks for tracking down the ghc bug. The git-annex standalone build is
built on Debian using its toolchain. So once that bug gets fixed, I will
just need to make sure the builder is up-to-date to close this.
"""]]