chiark / gitweb /
poster-tube-lid: catch: abolish unused catch_stalk_th