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
dont_submit
OLD
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...