Skip to content

Conversation

@weixsun
Copy link
Contributor

@weixsun weixsun commented May 30, 2021

This pr does not need to be explained.😂

@snicoll snicoll self-assigned this May 31, 2021
@snicoll snicoll added the type: documentation A documentation update label May 31, 2021
@snicoll snicoll added this to the 2.3.12 milestone May 31, 2021
@snicoll snicoll changed the title Remove redundant space Polish description of server.servlet.session.cookie.domain May 31, 2021
snicoll pushed a commit that referenced this pull request May 31, 2021
@snicoll snicoll closed this in 6474510 May 31, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: documentation A documentation update

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants