Revision be3aae126e874ac2e41a6b3560fce121fb0f32f3 authored by Laurent Rineau on 01 April 2015, 15:56:25 UTC, committed by Laurent Rineau on 01 April 2015, 15:56:25 UTC
That fix explains why the integration branch was not reset correctly:
cgal-dev was not fetched, so cgal-dev/master was still pointing to a
commit made three weeks ago.
1 parent 6c6484e
History

back to top