Skip to content

Rename database_labels to db_labels#28649

Merged
marcoandredinis merged 1 commit intomasterfrom
marco/fix_database_labels_docs
Jul 5, 2023
Merged

Rename database_labels to db_labels#28649
marcoandredinis merged 1 commit intomasterfrom
marco/fix_database_labels_docs

Conversation

@marcoandredinis
Copy link
Copy Markdown
Contributor

The correct key name is db_labels.

@marcoandredinis marcoandredinis added this pull request to the merge queue Jul 5, 2023
Merged via the queue into master with commit 15d3564 Jul 5, 2023
@marcoandredinis marcoandredinis deleted the marco/fix_database_labels_docs branch July 5, 2023 16:07
@public-teleport-github-review-bot
Copy link
Copy Markdown

@marcoandredinis See the table below for backport results.

Branch Result
branch/v11 Create PR
branch/v12 Create PR
branch/v13 Create PR

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants