8-remove-jdk-optional-usage-where-not-useful
created branch 8-remove-jdk-optional-usage-where-not-useful
mentioned in merge request !4 (merged)
closed via commit d37c7a5c
closed via merge request !4 (merged)
mentioned in commit d37c7a5c
added Enhancement label
changed milestone to %Release v0.0.2