Skip to content
This repository has been archived by the owner on Jun 4, 2022. It is now read-only.

Update build tools #247

Merged
merged 2 commits into from
Dec 6, 2021
Merged

Update build tools #247

merged 2 commits into from
Dec 6, 2021

Conversation

core23
Copy link
Member

@core23 core23 commented Dec 6, 2021

No description provided.

@core23 core23 requested a review from nucleos-bot as a code owner December 6, 2021 21:48
@core23 core23 added this to the 1.3.0 milestone Dec 6, 2021
@core23 core23 merged commit 2b8a3d2 into nucleos:1.3.x Dec 6, 2021
@core23 core23 deleted the update-tools branch December 6, 2021 21:53
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Development

Successfully merging this pull request may close these issues.

1 participant