Skip to content

Conversation

@chrisgregan
Copy link
Contributor

@chrisgregan chrisgregan commented Dec 22, 2025

Fixes #535

@chrisgregan chrisgregan merged commit 8b37883 into main Dec 27, 2025
3 checks passed
@chrisgregan chrisgregan deleted the reload-text-files branch December 27, 2025 10:31
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.

Reload externally changed text files

2 participants