Skip to content

Update notes to indicate that branch cuts follow C99#579

Merged
rgommers merged 1 commit into
mainfrom
c99-branch-cut-notes
Dec 21, 2022
Merged

Update notes to indicate that branch cuts follow C99#579
rgommers merged 1 commit into
mainfrom
c99-branch-cut-notes

Update to indicate that branch cuts follow C99

28c4c41
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs