Skip to content

more inlining, since ghc9.4 is more agressive.#460

Merged
julialongtin merged 1 commit intomasterfrom more_inlinesDec 17, 2023