Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ISPN-10731 titles for 10 Final #7410

Merged
merged 3 commits into from Oct 11, 2019
Merged

Conversation

oraNod
Copy link
Contributor

@oraNod oraNod commented Oct 7, 2019

https://issues.jboss.org/browse/ISPN-10731

This PR moves content into the final set of titles for 10.0. Also makes it possible to create an all-in-one document.

@oraNod oraNod added the Documentation Pull request containing only documentation changes label Oct 7, 2019
@tristantarrant tristantarrant merged commit 3129d71 into infinispan:master Oct 11, 2019
@tristantarrant
Copy link
Member

Merged thanks !

@oraNod oraNod deleted the ISPN-10731 branch January 24, 2022 15:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Documentation Pull request containing only documentation changes
Projects
None yet
3 participants