Interrupt gracefully#65

JovialOptimist wants to merge 22 commits intomasterrobch/cycod:masterfrom

interrupt-gracefullyrobch/cycod:interrupt-gracefullyCopy head branch name to clipboard