Closed ghost closed 10 years ago
I've applied this patch in the referenced commit: https://github.com/crossbridge-community/crossbridge/commit/7c04dbc3905ded82bca51dd1992d03ff06dc4f78
Thanks!
Hi, would it be possible for you to delete this PR, so that my @mimiko page doesn't show this project under "Repositories contributed to"? It's for my own selfish reasons. Many Thanx.
Hi, I did found some helpful info on stackoverflow:
" There is no way you can delete a pull request yourself -- you and the repo owner (and all users with push access to it) can close it, but it will remain in the log. This is part of the philosophy of not denying/hiding what happened during development.
However, if there are critical reasons for deleting it (this is mainly violation of Github Terms of Service), Github support staff will delete it for you.
Whether or not they are willing to delete your PR for you is something you can easily ask them, just drop them an email at support@github.com "
Since I don't find any critical reasons for deleting it, I wouldn't mind leaving it as it is. Thank you very much for the info!
Thank you very much for the release. I compiled it successfully, after making this commit myself. FYI, I use llvm-gcc-4.2 and libtool 2.4.2 on Mountain Lion. .