Skip to content

Conversation

szepeviktor
Copy link
Contributor

@szepeviktor szepeviktor commented Jul 13, 2023

Currently extras are not display.
This PR fixes that.

@johnbillion Please consider merging it. It will make you feel good!

@szepeviktor
Copy link
Contributor Author

@johnbillion Friendly ping from an older universe 🏓

@crstauf
Copy link
Contributor

crstauf commented Jan 10, 2025

Hey, this is nearly exactly the same as #211! 😛

I closed mine, and this was submitted on the same day! Bad form. 👎

@szepeviktor
Copy link
Contributor Author

Oh no! I'm busted.
I've copied your PR to get merged.

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