Skip to content

docs(release): documentation for release 0.12.0#848

Merged
mnencia merged 1 commit intomainfrom
dev/docs-0.12.0
Apr 13, 2026
Merged

docs(release): documentation for release 0.12.0#848
mnencia merged 1 commit intomainfrom
dev/docs-0.12.0

Conversation

@mnencia
Copy link
Copy Markdown
Member

@mnencia mnencia commented Apr 13, 2026

No description provided.

Signed-off-by: Marco Nenciarini <marco.nenciarini@enterprisedb.com>
@mnencia mnencia requested a review from a team as a code owner April 13, 2026 15:31
@dosubot dosubot bot added size:XXL This PR changes 1000+ lines, ignoring generated files. documentation Improvements or additions to documentation labels Apr 13, 2026
@dosubot dosubot bot added the lgtm This PR has been approved by a maintainer label Apr 13, 2026
@mnencia mnencia merged commit 989f4b7 into main Apr 13, 2026
8 checks passed
@mnencia mnencia deleted the dev/docs-0.12.0 branch April 13, 2026 15:48
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 lgtm This PR has been approved by a maintainer size:XXL This PR changes 1000+ lines, ignoring generated files.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants