Skip to content

Conversation

@asgrim
Copy link
Collaborator

@asgrim asgrim commented Nov 11, 2024

Fixes #71

@asgrim asgrim added the documentation Improvements or additions to documentation label Nov 11, 2024
@asgrim asgrim added this to the 0.2.0 milestone Nov 11, 2024
@asgrim asgrim self-assigned this Nov 11, 2024
@asgrim asgrim merged commit 5b8426b into php:main Nov 14, 2024
19 checks passed
@asgrim asgrim deleted the fix-pdb-maintainer-docs branch November 14, 2024 09:05
@asgrim
Copy link
Collaborator Author

asgrim commented Nov 14, 2024

Merging now #71 discussion to clarify these details is complete.

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

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Expected PDB name is incorrect and disagrees with docs

1 participant