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

Integrate IANA tool #708

Closed
treiher opened this issue Jul 26, 2021 · 0 comments · Fixed by #1205
Closed

Integrate IANA tool #708

treiher opened this issue Jul 26, 2021 · 0 comments · Fixed by #1205
Assignees
@senier
Labels
converter Related to converter package (translation of external specs) small Effort of one person-day or less
Projects
RecordFlux 0.7

Comments

@treiher
Copy link
Collaborator

treiher commented Jul 26, 2021

No description provided.

@treiher treiher created this issue from a note in RecordFlux 0.6 (To do) Jul 26, 2021
@treiher treiher added the small Effort of one person-day or less label Aug 9, 2021
@senier senier added the converter Related to converter package (translation of external specs) label Aug 23, 2022
@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 moved this from To do to Backlog in RecordFlux Future Aug 24, 2022
@senier senier removed this from High in RecordFlux Future Aug 30, 2022
@senier senier added this to To do in RecordFlux 0.7 via automation Aug 30, 2022
@senier senier moved this from To do to Implementation in RecordFlux 0.7 Sep 22, 2022
@senier senier self-assigned this Sep 22, 2022
@senier senier mentioned this issue Sep 28, 2022
Merged
@senier senier moved this from Implementation to Review in RecordFlux 0.7 Sep 28, 2022
RecordFlux 0.7 automation moved this from Review to Done Sep 29, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@senier senier

Labels
converter Related to converter package (translation of external specs) small Effort of one person-day or less
Projects
No open projects
RecordFlux 0.7
  
Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue 708: Integrate IANA tool AdaCore/RecordFlux
2 participants
@senier @treiher