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.

Sign up for GitHub

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

Jump to bottom

release: v1.0.2 #439

Merged

DeepDiver1975 merged 1 commit into master from release/1.0.2

Sep 13, 2024

Collaborator

DeepDiver1975 commented Sep 13, 2024

List of common tasks a pull request require complete

Changelog entry is added or the pull request don't alter library's functionality


          release: v1.0.2

f327e7e

DeepDiver1975 merged commit 9af21bd into master

9 checks passed

DeepDiver1975 deleted the release/1.0.2 branch

September 13, 2024 07:09

BSnelling pushed a commit to HDRUK/OpenID-Connect-PHP that referenced this pull request


          release: v1.0.2 (jumbojett#439)

a7b4d3b

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet