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

fix pull/3778 #3779

Merged

pubkey merged 1 commit into pubkey:master from mmouterde:patch-8

Apr 28, 2022

Contributor

mmouterde commented Apr 28, 2022

This PR contains:

A BUGFIX

Describe the problem you have without this PR


          fix pubkey#3778

d5c4413

pubkey merged commit 3f37c7a into pubkey:master

Owner

pubkey commented Apr 28, 2022

Merged this. Release will come in a few minutes.

Contributor Author

mmouterde commented Apr 28, 2022

great ! thanks for your reactivity.

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

Labels

None yet