Skip to content

Conversation

@Nutomic
Copy link
Member

@Nutomic Nutomic commented Jan 23, 2026

@Nutomic Nutomic force-pushed the rename-sidebar-again branch from d71b0be to e3b76db Compare January 23, 2026 11:53
@dessalines
Copy link
Member

Merged in the back end.

@dessalines dessalines marked this pull request as ready for review January 28, 2026 15:56
@dessalines dessalines merged commit 7b53f34 into main Jan 28, 2026
3 of 4 checks passed
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.

2 participants