On 05/13/2011 09:05 AM, Ondrej Certik wrote:
On Thu, May 12, 2011 at 11:34 PM, Dag Sverre Seljebotn
wrote:
On 05/13/2011 12:36 AM, Ondrej Certik wrote:
Hi,
On Thu, May 5, 2011 at 12:52 PM, Dag Sverre Seljebotn
wrote:
There was just a messup in git history: Mark's OpenMP pull request g
On Thu, May 12, 2011 at 11:34 PM, Dag Sverre Seljebotn
wrote:
> On 05/13/2011 12:36 AM, Ondrej Certik wrote:
>>
>> Hi,
>>
>> On Thu, May 5, 2011 at 12:52 PM, Dag Sverre Seljebotn
>> wrote:
>>>
>>> There was just a messup in git history: Mark's OpenMP pull request got
>>> merged twice; all commit