From: Ralf Jung Date: Mon, 31 Aug 2020 10:23:59 +0000 (+0200) Subject: rename Iris workshop talk file to be more consistent X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/780c258791107876cfb5e61e6fa6f90cecac7aeb?hp=780c258791107876cfb5e61e6fa6f90cecac7aeb rename Iris workshop talk file to be more consistent ---