@@ -4159,7 +4159,7 @@ skipped-benchmarks:
4160 # @phadej
4160 # @phadej
4161 - dlist-nonempty # criterion-1.3
4161 - dlist-nonempty # criterion-1.3
4162− - splitmix# # criterion-1.3
4162+ - splitmix # criterion-1.3
4164# end of skipped-benchmarks
4164# end of skipped-benchmarks