THG's substitution applier#334

matthiasdiener wants to merge 7 commits intomaininducer/pytato:mainfrom

thg_subst_applierinducer/pytato:thg_subst_applierCopy head branch name to clipboard