gah at the worst time too. Thanks for reporting that! it's updated now.

		miguelmota on Aug 7, 2019 \| parent \| context \| favorite \| on: Seashells – Pipe output from command-line programs... gah at the worst time too. Thanks for reporting that! it's updated now.