Thanks for the PR. As the change is so small, we prefer to handle this sort of thing ourselves as processing a pull request adds too much overhead. If you are interested in contributing, please look out for issues labelled as ideal for contribution in the various Spring repositories.
If you need a release with an updated version, creating an issue is a good way to draw the attention to the team.
Thanks for the PR. As the change is so small, we prefer to handle this sort of thing ourselves as processing a pull request adds too much overhead. If you are interested in contributing, please look out for issues labelled as ideal for contribution in the various Spring repositories.
If you need a release with an updated version, creating an issue is a good way to draw the attention to the team.