-
Committer:
tg
-
Date:
2020-11-27 00:59:00 UTC
-
Revision ID:
tg-20201127005900-nuxy234o3e0c84hq
we’ll have to let go of the built-in cat as well, for signal reasons
see https://upsilon.cc/~zack/teaching/1314/progsyst/cours-05-signals.pdf
plus mentioned on https://issuetracker.google.com/issues/167231623