Commit 8ba9a21905d3eb24a672ceb540ce841273b8d1d3

Stefan Sperling 2017-11-29T23:30:52

remove diff_args from global state as well