swh:1:snp:78e145aa8174e576786284475a76cf6f187b3475
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
Tip revision: b86a5018c7f5f733c80fe40eee65803c112f2685 authored by Laurent Rineau on 22 October 2020, 14:23:24 UTC
Merge pull request #5106 from maxGimeno/CI-Better_message_for_doc-maxGimeno
Merge pull request #5106 from maxGimeno/CI-Better_message_for_doc-maxGimeno
Tip revision: b86a501
Computing file changes ...