MiniKF 20191112.2.0

November 12, 2019

This is a maintenance release of 20191112.1.0

New Features

  • Upgrade to the latest Rok 0.14-pre version

Improvements

  • Handle Ubuntu’s automatic updates

Fixed Issues

  • Fix a potential race when taking a snapshot