Changes for version 0.42 - 2017-07-02

  • Fix jumbled up error message.

Modules

An API for PAUSE