Skip to content

Remove now redundant line from index.md#12

Merged
fingolfin merged 1 commit intosourcefrom
mh/rm-line
Oct 22, 2025
Merged

Remove now redundant line from index.md#12
fingolfin merged 1 commit intosourcefrom
mh/rm-line

Conversation

@fingolfin
Copy link
Collaborator

No description provided.

@fingolfin fingolfin enabled auto-merge (squash) October 22, 2025 12:09
@fingolfin fingolfin merged commit 2f05db2 into source Oct 22, 2025
2 checks passed
@fingolfin fingolfin deleted the mh/rm-line branch October 22, 2025 12:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant