Skip to content

Conversation

Kludex
Copy link
Collaborator

@Kludex Kludex commented Mar 5, 2023

@Kludex Kludex added the documentation Project documentation label Mar 5, 2023
@Kludex Kludex requested review from adriangb and a team March 5, 2023 15:29
@Kludex Kludex requested a review from abersheeran March 5, 2023 15:36
Co-authored-by: Adrian Garcia Badaracco <1755071+adriangb@users.noreply.github.com>
@Kludex Kludex enabled auto-merge (squash) March 5, 2023 17:31
@Kludex Kludex merged commit 5472c44 into master Mar 5, 2023
@Kludex Kludex deleted the docs/state-lifespan branch March 5, 2023 17:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Project documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants