make datokrat code owner for iterators, ranges and slices

2026-04-05 03:34:08 +00:00 · 2025-08-01 18:33:38 +02:00
1 changed files with 4 additions and 0 deletions
--- a/4
+++ b/4
@@ -48,3 +48,7 @@
 /src/Std/Do @sgraf812
 /src/Std/Tactic/Do @sgraf812
 /src/Lean/Elab/Tactic/Do @sgraf812
+/src/Init/Data/Range/Polymorphic @datokrat
+/src/Init/Data/Slice @datokrat
+/src/Init/Data/Iterators @datokrat
+/src/Std/Data/Iterators @datokrat