Skip to content

Conversation

christophstrobl
Copy link
Member

Closes: #5010

mp911de pushed a commit that referenced this pull request Jul 14, 2025
mp911de pushed a commit that referenced this pull request Jul 14, 2025
@mp911de mp911de added the type: documentation A documentation update label Jul 14, 2025
@mp911de mp911de added this to the 4.5.2 (2025.0.2) milestone Jul 14, 2025
@mp911de mp911de closed this Jul 14, 2025
@mp911de mp911de deleted the issue/5010 branch July 14, 2025 14:21
@mp911de mp911de self-assigned this Jul 14, 2025
mp911de pushed a commit that referenced this pull request Jul 15, 2025
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.

The Javadoc for IndexOperations#createIndex is incorrect
2 participants