Skip to content

chore: release #363

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

Merged
merged 1 commit into from
Feb 7, 2025
Merged

chore: release #363

merged 1 commit into from
Feb 7, 2025

Conversation

davidcole1340
Copy link
Owner

🤖 New release

  • ext-php-rs-derive: 0.10.2
  • cargo-php: 0.1.10
  • ext-php-rs: 0.13.0
Changelog

ext-php-rs-derive

0.10.2 - 2025-02-06

Other

cargo-php

0.1.10 - 2025-02-06

Other

ext-php-rs

0.13.0 - 2025-02-06

Fixed

If you used http_request_vars() before it will now panic until a proper implementation is found.

Other


This PR was generated with release-plz.

@github-actions github-actions bot force-pushed the release-plz-2025-02-06T17-22-20Z branch from 2a042cd to 8e1b649 Compare February 6, 2025 17:41
@Xenira
Copy link
Collaborator

Xenira commented Feb 6, 2025

Will merge this tomorrow, triggering a release, if no one has objections.

@github-actions github-actions bot force-pushed the release-plz-2025-02-06T17-22-20Z branch 3 times, most recently from 08ae1af to 37c7ec5 Compare February 6, 2025 18:22
@github-actions github-actions bot force-pushed the release-plz-2025-02-06T17-22-20Z branch from 37c7ec5 to c3c0c92 Compare February 6, 2025 18:34
@Xenira Xenira merged commit e9eeaef into master Feb 7, 2025
@Xenira Xenira deleted the release-plz-2025-02-06T17-22-20Z branch July 1, 2025 15:33
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