Commit 2024-06-12 05:55 fbf1dad0
View on Github →chore: remove unused countLocalHypsUsed (#13751)
This is an orphaned meta function, that used to be used in rw?
, which has since moved to core. I wrote it, and I'm pretty sure I was the only user, so I would like to just delete it without a deprecation.