Code

Double use of citation name#8504

Code

Merged

sloriot merged 2 commits intoCGAL:masterCGAL/cgal:masterfrom

albert-github:feature/bug_double_citealbert-github/cgal:feature/bug_double_citeCopy head branch name to clipboard

May 7, 2025

Commits

Commits on May 7, 2025

• Double use of citation name

  Show description for 837be25
  

  albert-github

  authored and

  sloriot

  committed
  837be25

  Copy full SHA for 837be25

• fix double citation

  sloriot

  committed
  47dfb09

  Copy full SHA for 47dfb09