Skip to content

Conversation

@mojavelinux
Copy link
Contributor

No description provided.

@rwinch rwinch merged commit f0e6984 into spring-io:main Jan 12, 2023
@rwinch rwinch self-assigned this Jan 12, 2023
@rwinch rwinch added the enhancement New feature or request label Jan 12, 2023
@rwinch
Copy link
Collaborator

rwinch commented Jan 12, 2023

Thanks for the Pull Request! While a small change, I'm really excited about this one 😃

@rwinch
Copy link
Collaborator

rwinch commented Jan 12, 2023

As an FYI I also created gh-53 to address the page versions

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants