Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

DINT-1119: better extension version tracking #119

Merged
merged 1 commit into from
Sep 9, 2023
Merged

DINT-1119: better extension version tracking #119

merged 1 commit into from
Sep 9, 2023

Conversation

aniham
Copy link
Collaborator

@aniham aniham commented Sep 4, 2023 •
edited by shiftedreality
Loading

@aniham aniham merged commit 9cf8048 into main Sep 9, 2023
@aniham aniham deleted the DINT-1119 branch September 9, 2023 14:09
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@shiftedreality shiftedreality shiftedreality approved these changes

@jasonrpoteet jasonrpoteet Awaiting requested review from jasonrpoteet

@grahamcrackers grahamcrackers Awaiting requested review from grahamcrackers

@benjaminkalk benjaminkalk Awaiting requested review from benjaminkalk

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@aniham @shiftedreality