Skip to content

Conversation

@jxblum
Copy link
Contributor

@jxblum jxblum commented Jul 17, 2023

See #2494

@mp911de mp911de added the type: task A general task label Jul 18, 2023
@mp911de mp911de added this to the 3.2 M2 (2023.1.0) milestone Jul 18, 2023
mp911de pushed a commit that referenced this pull request Jul 18, 2023
Closes #2494
Original pull request: #2645
mp911de added a commit that referenced this pull request Jul 18, 2023
Use standard assertions. Tweak Javadoc wording.

See #2494
Original pull request: #2645
@mp911de
Copy link
Member

mp911de commented Jul 18, 2023

That's merged and polished now.

@mp911de mp911de closed this Jul 18, 2023
@mp911de mp911de deleted the issue/2494 branch July 18, 2023 07:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: task A general task

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants