I am sorry to bother here but the community seems to be more active in this repo. Is there amy way our PR could be checked and merged in the dotnet repo? It has been sitting there for 4 months.
MiniProfiler/dotnet#658
Thanks and have a great year 2024!