Skip to content

Conversation

ecki
Copy link
Contributor

@ecki ecki commented Jan 30, 2025

All Submissions:

  • Have you followed the guidelines in our Contributing document?
  • Have you checked to ensure there aren't other open Pull Requests for the same update/change?

@davecramer davecramer merged commit 1559630 into pgjdbc:master Jan 31, 2025
16 of 17 checks passed
@ecki ecki deleted the patch-3 branch February 2, 2025 18:55
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