MiniKF 20191112.3.0

November 12, 2019

This is a maintenance release of 20191112.2.0

New Features

  • Upgrade to the latest Rok 0.14-pre version

Improvements

  • Rok can now handle long-taking snapshots