Skip to content

Make Float_ non-final#200

Merged
jaapio merged 1 commit intophpDocumentor:1.xfrom
antoinelame:remove-final-float
Jan 18, 2024
Merged

Make Float_ non-final#200
jaapio merged 1 commit intophpDocumentor:1.xfrom
antoinelame:remove-final-float

Conversation

@antoinelame
Copy link
Contributor

Following #198

Thanks!

@jaapio jaapio merged commit bc3dc91 into phpDocumentor:1.x Jan 18, 2024
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