Skip to content

#3017 Add "Server List" to "Standard terms"#911

Merged
pljones merged 1 commit intoreleasefrom
patch/3017-server-list-defn
Apr 4, 2023
Merged

#3017 Add "Server List" to "Standard terms"#911
pljones merged 1 commit intoreleasefrom
patch/3017-server-list-defn

Conversation

@pljones
Copy link
Copy Markdown
Contributor

@pljones pljones commented Mar 27, 2023

Short description of changes

Add "Server List" to "Standard terms".

Context: Fixes an issue? Related issues

No but see jamulussoftware/jamulus#3017 (comment)

Status of this Pull Request

To be reviewed.

What is missing until this pull request can be merged?

To be reviewed.

Does this need translation?

No. (See #910 (comment))

Checklist

  • I've verified that this Pull Request follows the general code principles
  • I waited some time after this Pull Request was opened and all GitHub checks completed without errors.
  • I'm sure that this Pull Request goes to the correct branch

@pljones pljones mentioned this pull request Mar 27, 2023
3 tasks
@pljones pljones added this to the Release 3.10.0 milestone Mar 27, 2023
@pljones pljones self-assigned this Mar 27, 2023
@pljones pljones added the bug Something isn't working label Mar 27, 2023
@pljones pljones requested review from ann0see and gilgongo March 27, 2023 22:14
@gilgongo
Copy link
Copy Markdown
Member

Looks good to have in there!

@pljones
Copy link
Copy Markdown
Contributor Author

pljones commented Apr 4, 2023

Merging as nothing outstanding.

@pljones pljones merged commit ca49457 into release Apr 4, 2023
@pljones pljones deleted the patch/3017-server-list-defn branch April 4, 2023 20:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants