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.

Sign up for GitHub

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

Jump to bottom

Make Alignment a record type again #17

Closed
harisont opened this issue Apr 19, 2021 · 0 comments · Fixed by #27
Closed

Make Alignment a record type again #17

harisont opened this issue Apr 19, 2021 · 0 comments · Fixed by #27
Labels
enhancement improvement of some existing functionality
Projects
Shrinking

Comments

@harisont
Copy link
Owner

No description provided.

@harisont harisont added the enhancement improvement of some existing functionality label Apr 19, 2021
@harisont harisont mentioned this issue Apr 19, 2021
Closed
@harisont harisont added this to To do in Shrinking Apr 19, 2021
@harisont harisont moved this from To do (sooner) to In progress in Shrinking Apr 20, 2021
@harisont harisont mentioned this issue Apr 20, 2021
Closed
harisont added a commit that referenced this issue Apr 28, 2021
@harisont
draft major type redesign; should close #17 and #23
992d208
@harisont harisont mentioned this issue May 4, 2021
Merged
Shrinking automation moved this from In progress to Done May 4, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement improvement of some existing functionality
Projects
No open projects
Shrinking
Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

major changes in the types for representing alignments harisont/concept-alignment
1 participant
@harisont