Skip to content

Tweak docs#2517

Merged
fisx merged 1 commit intodevelopfrom
tweak-docs
Jun 29, 2022
Merged

Tweak docs#2517
fisx merged 1 commit intodevelopfrom
tweak-docs

Conversation

@fisx
Copy link
Contributor

@fisx fisx commented Jun 28, 2022

Checklist

  • The PR Title explains the impact of the change.
  • The PR description provides context as to why the change should occur and what the code contributes to that effect. This could also be a link to a JIRA ticket or a Github issue, if there is one.

@fisx fisx temporarily deployed to cachix June 28, 2022 06:22 Inactive
@fisx fisx requested a review from arthurwolf June 28, 2022 06:22
Copy link
Contributor

@arthurwolf arthurwolf left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Read and approved

@fisx fisx merged commit f028e28 into develop Jun 29, 2022
@fisx fisx deleted the tweak-docs branch June 29, 2022 11:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants