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

Closing #184 #211

Merged
merged 3 commits into from
Jul 21, 2023
Merged

Closing #184 #211

merged 3 commits into from
Jul 21, 2023

Conversation

bpross-52n
Copy link
Contributor

Closing #184

@bpross-52n bpross-52n linked an issue Apr 27, 2023 that may be closed by this pull request
@dstenger
Copy link
Contributor

dstenger commented May 4, 2023

@bpross-52n Can you please update the formatting?

@dstenger dstenger added this to the 1.5 milestone Jul 19, 2023
@dstenger dstenger self-requested a review July 19, 2023 16:54
@dstenger
Copy link
Contributor

@bpross-52n Can you please resolve the merge conflicts?

# Conflicts:
#	src/main/java/org/opengis/cite/ogcapifeatures10/conformance/crs/discovery/collection/DiscoveryCollectionCrsUri.java
#	src/main/java/org/opengis/cite/ogcapifeatures10/conformance/crs/query/crs/feature/FeatureCrsParameterTransform.java
#	src/main/java/org/opengis/cite/ogcapifeatures10/conformance/crs/query/crs/features/AbstractFeaturesCrs.java
@dstenger dstenger assigned dstenger and unassigned bpross-52n Jul 20, 2023
@dstenger dstenger merged commit da968c7 into master Jul 21, 2023
@dstenger dstenger deleted the issue#184 branch November 27, 2024 15:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

Part 2: CRS should fail if it key tests were skipped
2 participants