Eugen Wissner cfcb1e727a Fix foldr scope		2022-05-30 05:43:08 +02:00
..
tanya	Fix foldr scope	2022-05-30 05:43:08 +02:00