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

Compile 2CC into 2ADT #19

Merged
merged 1 commit into from
Mar 13, 2024
Merged

Compile 2CC into 2ADT #19

merged 1 commit into from
Mar 13, 2024

Conversation

ibbem
Copy link
Collaborator

@ibbem ibbem commented Mar 13, 2024

Only the last commit is related to this PR. The other commits stem from #16 and #18 which I merged to use as base for this PR.

@ibbem ibbem requested a review from pmbittner March 13, 2024 09:11
@pmbittner
Copy link
Member

Wow that was fast! 😍

@pmbittner pmbittner force-pushed the 2CC-to-2ADT branch 2 times, most recently from 9b68774 to f123ace Compare March 13, 2024 11:49
@pmbittner
Copy link
Member

I stored your merge in a new branch ibbem/2CC-to-2ADT and rebased this branch onto sound, which I in turn rebased onto develop after having merged #16 .

@pmbittner pmbittner added the enhancement New feature or request label Mar 13, 2024
@pmbittner pmbittner merged commit 5d7aa51 into develop Mar 13, 2024
1 check passed
@pmbittner pmbittner deleted the 2CC-to-2ADT branch March 13, 2024 11:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants