Merged
Fix explicit lifetimes for consts#467juhaku merged 1 commit intomaster from fix-const-explicit-lifetimes
juhaku merged 1 commit intomaster from fix-const-explicit-lifetimes
Fix explicit lifetimes for consts#467
Merged
juhaku merged 1 commit intomaster from fix-const-explicit-lifetimesJan 29, 2023
+2-2