Skip to content

Conversation

pabs3
Copy link
Contributor

@pabs3 pabs3 commented Nov 7, 2024

This saves a lot of space when a lot of logs are hidden.

Thanks to thuban & @JustAnotherArchivist for the wording.

This saves a lot of space when a lot of logs are hidden.

Thanks to thuban & JAA for the wording.
@pabs3 pabs3 closed this Mar 27, 2025
@pabs3 pabs3 deleted the filter-headers branch March 27, 2025 13:40
@pabs3
Copy link
Contributor Author

pabs3 commented Mar 27, 2025

Closing in favour of #589 combining #583 #586 and other patches

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.

1 participant