Felipe Hernandez <felipehernandezbarroso(a)gmail.com> writes:
> Hi Andreas,
>
> On Mar 27, 2013, at 3:40 PM, Andreas Kloeckner wrote:
>
>> Hi Felipe,
>>
>> Felipe Hernandez <felipehernandezbarroso(a)gmail.com> writes:
>>> Sorry for being a bit unresponsive, I had
>>> midterms/work this week. I am currently
>>> spending a few hours in the airport
>>> waiting for a connection, so I think I can
>>> finish up the revisions. You can expect
>>> the fixes to be committed by tonight.
>>>
>>> The unit test may or may not be in today's revision, depending on how
>>> productive I am. I do plan to write it
>>> though.
>>
>> I just looked at the github branch, and I didn't see any commits after
>> March 16, especially none of the fixes you mentioned? Did you forget to
>> git push?
>>
>> Andreas
>>
>
> Weird.. I thought I did but apparently that it didn't work. I'll work on it.
git push git@github.com:felipeh/hedge master
should do the trick. (in particular, it should automatically update the PR)
Andreas
