Carlos Martín Nieto 37d3c2d9ad Update libgit2 to 73dab769 ... This version reloads the index on checkout, which showed we were not persisting the updated index to disk and thus would have conflicts on checkout.		2016-08-05 15:15:22 +02:00
..
libgit2@73dab7692e	Update libgit2 to 73dab769	2016-08-05 15:15:22 +02:00