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

Convex_hull_3: fix a typo #7803

Merged
merged 1 commit into from
Oct 30, 2023
Merged

Convex_hull_3: fix a typo #7803

merged 1 commit into from
Oct 30, 2023

Conversation

lrineau
Copy link
Member

@lrineau lrineau commented Oct 16, 2023

Summary of Changes

fix a typo reported by email by Stefan Schirra

Release Management

  • Affected package(s): Convex_hull_3
  • License and copyright ownership: trivial change

@lrineau lrineau added this to the 6.0-beta milestone Oct 16, 2023
@lrineau
fix a typo
cd14420 
(reported by email by Stefan Schirra)
@lrineau lrineau modified the milestones: 6.0-beta, 5.5.4 Oct 16, 2023
@lrineau lrineau changed the base branch from master to 5.5.x-branch October 16, 2023 16:04
@sloriot sloriot added the Batch_2 Second Batch of PRs under testing label Oct 16, 2023
@lrineau lrineau changed the title fix a typo Convex_hull_3: fix a typo Oct 18, 2023
@sloriot sloriot added Batch_1 First Batch of PRs under testing Under Testing and removed Batch_2 Second Batch of PRs under testing Batch_1 First Batch of PRs under testing labels Oct 24, 2023
@sloriot
Copy link
Member

sloriot commented Oct 30, 2023

Successfully tested in 6.0-Ic-93

@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 Oct 30, 2023
lrineau added a commit that referenced this pull request Oct 30, 2023
@lrineau
Merge pull request #7803 from lrineau/CH_3-fix_typo-GF
0bf610a 
Convex_hull_3: fix a typo
lrineau added a commit that referenced this pull request Oct 30, 2023
@lrineau
Merge pull request #7803 from lrineau/CH_3-fix_typo-GF
9ac6d64 
Convex_hull_3: fix a typo
@lrineau lrineau merged commit 24a8000 into CGAL:5.5.x-branch Oct 30, 2023
@lrineau lrineau removed 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 Oct 30, 2023
@lrineau lrineau deleted the CH_3-fix_typo-GF branch October 30, 2023 16:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@sloriot sloriot

Labels
Doc bug Merged_in_5.5.4 Merged_in_5.5.5 Merged_in_5.6.1 Merged_in_5.6.2 Merged_in_6.0 Pkg::Convex_hull_3 Tested trivial
Projects
None yet
Milestone
5.5.4
Development

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