Manolis Ragkousis, le Thu 29 May 2014 22:34:35 +0000, a écrit : > Maybe some of these changes should be pushed to upstream.What do you think?
Well, all our patches should be pushed to upstream, whenever anybody gets the time to submit them :) I don't really have much more to say than the comment, except that in the upstream repository there isn't our libpthread yet, so it doesn't really make sense to claim in headers that we have libpthread etc. I don't really know why we don't have a topgit branch for this yet. I'll just create it, then. Samuel
