Skip to content
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.

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

GMP PHP extension #2676

Merged
merged 1 commit into from
Jul 3, 2023
Merged

GMP PHP extension #2676

merged 1 commit into from
Jul 3, 2023

Conversation

tomjn
Copy link
Member

@tomjn tomjn commented Jun 29, 2023

Chassis added this recently, this PR adds it here https://github.com/Chassis/gmp/blob/main/modules/gmp/manifests/init.pp

https://www.php.net/manual/en/book.gmp.php

Chassis/Chassis#1024

Used by the webauthn plugin

Checks

  • I've updated the changelog.
  • I've tested this PR
  • This PR is for the develop branch not the stable branch.
  • This PR is complete and ready for review.

@update-docs
Copy link

update-docs bot commented Jun 29, 2023

Thanks for opening this pull request! Make sure CHANGELOG.md gets updated with this change, additionally any docs that need updated can be found at https://github.com/Varying-Vagrant-Vagrants/varyingvagrantvagrants.org

GitHub
The VVV docs and website. Contribute to Varying-Vagrant-Vagrants/varyingvagrantvagrants.org development by creating an account on GitHub.

@Mte90 Mte90 merged commit dd8c60b into develop Jul 3, 2023
2 of 6 checks passed
@Mte90 Mte90 deleted the gmp-php-extension branch July 3, 2023 15:00
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.

None yet

3 participants