{"p":"","h":{"iv":"ROXSYW+cfvEbFHu5","at":"ocxplSQjdRC3tXEtB/9/wg=="}}

@VictorVenema

I think it’s a great addition. Had people already searching for something like this, and will try to a link to later (or do you want to make a pull request for that?), if @hendrikerz does not oppose.

1
Share
Share on Mastodon
Share on Twitter
Share on Facebook
Share on Linkedin
Victor Venema

@perspektivbrocken I am on GitHub. Happy to make a pull request. But as this is a structural change, maybe it is better when one of you do this. No idea where you would put this in the hierarchy.

@hendrikerz

1
2y
Replies