Skip to content

[stable26] lighter name update#1436

Merged
mejo- merged 1 commit intostable26from
backport/1421/stable26
Nov 7, 2023
Merged

[stable26] lighter name update#1436
mejo- merged 1 commit intostable26from
backport/1421/stable26

Conversation

@mejo-
Copy link
Member

@mejo- mejo- commented Nov 7, 2023

Manual backport of #1421

Signed-off-by: Maxence Lange <[email protected]>
@mejo- mejo- merged commit d5ac288 into stable26 Nov 7, 2023
@delete-merged-branch delete-merged-branch bot deleted the backport/1421/stable26 branch November 7, 2023 19:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants