[java-idp-plugin-duo] branch dev/maint-1 created (now 59ed47e)
Phil Smart
philip.smart at jisc.ac.uk
Tue Jul 11 11:06:17 UTC 2023
This is an automated email from the git hooks/post-receive script.
philsmart pushed a change to branch dev/maint-1
in repository java-idp-plugin-duo.
at 59ed47e Bump version after release
No new revisions were added by this update.
--
To stop receiving notification emails like this one, please contact
the administrator of this repository.
More information about the commits
mailing list