Skip to content

Feature/use 3.1.2 java-API#107

Merged
pesse merged 2 commits intodevelopfrom
feature/use_3_1_2_java_api
Oct 23, 2018
Merged

Feature/use 3.1.2 java-API#107
pesse merged 2 commits intodevelopfrom
feature/use_3_1_2_java_api

Conversation

@pesse
Copy link
Member

@pesse pesse commented Oct 23, 2018

Use 3.1.2 Java-API
Also bumped version to 3.1.2 to harmonize with Java-API.
Improved documentation around NLS settings

pesse added 2 commits October 23, 2018 08:19
Also bump version to 3.1.2 to be harmonized with Java-API
@pesse pesse merged commit 4e43c07 into develop Oct 23, 2018
@jgebal jgebal deleted the feature/use_3_1_2_java_api branch February 7, 2025 09:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants