Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Change whitespace style to -gnatyC #816

Closed
senier opened this issue Oct 19, 2021 · 0 comments · Fixed by #1193
Closed

Change whitespace style to -gnatyC #816

senier opened this issue Oct 19, 2021 · 0 comments · Fixed by #1193
Assignees
Labels
small Effort of one person-day or less

Comments

@senier
Copy link
Member

senier commented Oct 19, 2021

No description provided.

@senier senier created this issue from a note in RecordFlux 0.6 (To do) Oct 19, 2021
@senier senier added the small Effort of one person-day or less label Oct 19, 2021
@senier senier removed this from To do in RecordFlux 0.6 Aug 23, 2022
@senier senier added this to To do in RecordFlux Future via automation Aug 23, 2022
@senier senier removed this from Medium in RecordFlux Future Aug 30, 2022
@senier senier added this to To do in RecordFlux 0.7 via automation Aug 30, 2022
@treiher treiher self-assigned this Sep 21, 2022
@treiher treiher moved this from To do to Implementation in RecordFlux 0.7 Sep 21, 2022
treiher added a commit that referenced this issue Sep 21, 2022
treiher added a commit that referenced this issue Sep 21, 2022
@treiher treiher moved this from Implementation to Review in RecordFlux 0.7 Sep 21, 2022
treiher added a commit that referenced this issue Sep 22, 2022
treiher added a commit that referenced this issue Sep 22, 2022
treiher added a commit that referenced this issue Sep 22, 2022
treiher added a commit that referenced this issue Sep 23, 2022
RecordFlux 0.7 automation moved this from Review to Done Sep 26, 2022
treiher added a commit that referenced this issue Sep 26, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
small Effort of one person-day or less
Projects
No open projects
Development

Successfully merging a pull request may close this issue.

2 participants