Skip to content

Conversation

@uhafner
Copy link
Member

@uhafner uhafner commented Nov 22, 2022

Required for jenkinsci/jenkins#6408

@uhafner uhafner added the internal Internal changes without user or API impact label Nov 22, 2022
@uhafner uhafner merged commit 2007150 into master Nov 22, 2022
@uhafner uhafner deleted the tippy-tooltips branch November 22, 2022 12:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internal Internal changes without user or API impact

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants