Mikael Lövqvist

I am using Arch Linux and got reduce from the user packages repository (I don't think reduce was in the official repo). https://aur.archlinux.org/pkgbase/reduce

You are correct. I think I only searched open bugs which was silly of me. Thank you! I am going to see if I can invalidate my bug report.

PS: I set priority to 1, assuming this means "lowest" so that a project maintainer can adjust it. I was surprised the bug reporter could set priority at all. If I got that wrong I am sorry. This is my first time on sourceforge.

redcsl terminates upon closure of stdin