Skip to content

Conversation

kbjarkefur
Copy link
Contributor

@kbjarkefur kbjarkefur commented Apr 10, 2023

Fix issue #329

Updates outdates name to new name in helpfile

@kbjarkefur kbjarkefur requested a review from luizaandrade April 10, 2023 08:45
@kbjarkefur
Copy link
Contributor Author

@luizaandrade , requesting your review to follow our own protocols diligently, but I think this is a no-brainer that can be merged.

@luizaandrade luizaandrade merged commit 7381814 into devlop Apr 10, 2023
@luizaandrade luizaandrade deleted the iesave-helpfile-oldname branch April 10, 2023 14:36
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