pijul channel delete: error if channel doesn't exist

Created by  loewenheim  on December 5, 2020
A7NTQINQCT6GSJZIBPWM6KD2HYGV4XBSV7FWLFYY4YKLSEOW57KQC
Change contents