Skip to content

Bump ogc-specifications#137

Merged
damienmulder merged 1 commit into
masterfrom
bump-ogc-specifications
Jun 16, 2026
Merged

Bump ogc-specifications#137
damienmulder merged 1 commit into
masterfrom
bump-ogc-specifications

Conversation

@damienmulder

Copy link
Copy Markdown
Collaborator

Description

Bump ogc-specifications

Type of change

  • Minor change (typo, formatting, version bump)

Checklist:

  • I've double-checked the code in this PR myself
  • I've left the code better than before (boy scout rule)
  • The code is readable, comments are added that explain hard or non-obvious parts.
  • I've expanded/improved the (unit) tests, when applicable
  • I've run (unit) tests that prove my solution works
  • There's no sensitive information like credentials in my PR

@damienmulder damienmulder merged commit 897716f into master Jun 16, 2026
3 checks passed
@damienmulder damienmulder deleted the bump-ogc-specifications branch June 16, 2026 12:05
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