Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix brief of advanced #3734

Merged
merged 1 commit into from
Mar 7, 2019
Merged

Fix brief of advanced #3734

merged 1 commit into from
Mar 7, 2019

Conversation

sloriot
Copy link
Member

@sloriot sloriot commented Mar 5, 2019

Fixes #3713

@lrineau lrineau added this to the 4.12.2 milestone Mar 5, 2019
@maxGimeno
Copy link
Contributor

Successfully tested in https://cgal.geometryfactory.com/CGAL/testsuite/results-4.14-Ic-140.shtml

@lrineau lrineau added rm only: ready for master For the release team only: that indicates that a PR is about to be merged in 'master' rm only: ready for release branch For the release team only: that indicates that a PR is about to be merged in a release branch labels Mar 7, 2019
lrineau added a commit that referenced this pull request Mar 7, 2019
@lrineau
Merge pull request #3734 from sloriot/Doc-advanced_brief
2b421e5 
Fix brief of advanced
@lrineau lrineau merged commit 3887a21 into CGAL:releases/CGAL-4.12-branch Mar 7, 2019
@lrineau lrineau removed Ready to be tested rm only: ready for release branch For the release team only: that indicates that a PR is about to be merged in a release branch Under Testing labels Mar 7, 2019
@lrineau lrineau deleted the Doc-advanced_brief branch March 7, 2019 13:36
@lrineau lrineau removed the rm only: ready for master For the release team only: that indicates that a PR is about to be merged in 'master' label Mar 7, 2019
@lrineau lrineau mentioned this pull request Mar 7, 2019
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@lrineau lrineau

@maxGimeno maxGimeno

Labels
Doc bug Doc Merged_in_4.12.2 Merged_in_4.13.1 Merged_in_4.13.2 Merged_in_4.14 Tested
Projects
None yet
Milestone
4.12.2
Development

Successfully merging this pull request may close these issues.
3 participants
@sloriot @maxGimeno @lrineau