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

Enable and update self-build #798

Merged
merged 2 commits into from
Sep 28, 2021
Merged

Enable and update self-build #798

merged 2 commits into from
Sep 28, 2021

Conversation

mosteo
Copy link
Member

@mosteo mosteo commented Aug 19, 2021

This was disabled and forgotten during the pins rework.

@mosteo mosteo force-pushed the fix/self-build branch 4 times, most recently from e8348fa to d767159 Compare August 20, 2021 10:57
@mosteo mosteo force-pushed the fix/self-build branch 14 times, most recently from d16fb2c to ae0ce18 Compare September 16, 2021 14:53
@mosteo mosteo force-pushed the fix/self-build branch 3 times, most recently from 358419d to 04f6f9e Compare September 22, 2021 15:45
@mosteo mosteo marked this pull request as ready for review September 22, 2021 16:04
@Fabien-Chouteau
Copy link
Member

We should wait before updating to a CLIC that uses src/clic-command_line.adb.

@mosteo mosteo merged commit e6e19a7 into master Sep 28, 2021
@mosteo mosteo deleted the fix/self-build branch September 28, 2021 16:24
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