Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

PDB server list is now space separated instead of using semicolons ##… #22636

Merged
merged 1 commit into from
Feb 23, 2024

Conversation

trufae
Copy link
Collaborator

@trufae trufae commented Feb 23, 2024

…config

  • Mark this if you consider it ready to merge
  • I've added tests (optional)
  • I wrote some lines in the book (optional)

Description

@trufae trufae merged commit e1e3eb8 into master Feb 23, 2024
37 of 38 checks passed
@trufae trufae deleted the pdb-space branch February 25, 2024 12:50
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants