Adrien Grand f7e590ce0d
ProfileScorer should propagate setMinCompetitiveScore. (#40958) (#41302)
Currently enabling profiling disables top-hits optimizations, which is
unfortunate: it would be nice to be able to notice the difference in method
counts and timings depending on whether total hit counts are requested.
2019-04-17 16:11:14 +02:00
..
2019-03-21 07:57:13 -07:00
2019-01-18 09:28:48 +01:00