Skip to content

Fix service defs tool#759

Merged
djungelorm merged 3 commits intomainfrom
djungelorm/fix-service-defs
Mar 29, 2023
Merged

Fix service defs tool#759
djungelorm merged 3 commits intomainfrom
djungelorm/fix-service-defs

Conversation

@djungelorm
Copy link
Member

Fixes #755

@djungelorm djungelorm added bug Something isn't working tools labels Mar 29, 2023
@djungelorm djungelorm added this to the 0.5.3 milestone Mar 29, 2023
@djungelorm djungelorm merged commit 1cc8d16 into main Mar 29, 2023
@djungelorm djungelorm deleted the djungelorm/fix-service-defs branch March 29, 2023 22:53
@djungelorm djungelorm mentioned this pull request Jun 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working tools

Projects

None yet

Development

Successfully merging this pull request may close these issues.

krpctools servicedefs crashes

1 participant