On Mar 27, 2013, at 3:40 PM, Andreas Kloeckner wrote:
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
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
Weird.. I thought I did but apparently that it didn't work. I'll work on it.
git push firstname.lastname@example.org:felipeh/hedge master
should do the trick. (in particular, it should automatically update the PR)