14 Mar
2018
14 Mar
'18
3 a.m.
ID: 5903
Title: Improved handling of CTRL+C in some situations
Component: Core & setup
Level: 1
Class: Bug fix
Version: 1.5.0i4
When performing longer interactive tasks, e.g. during checking, the
interrupt of users (CTRL+C) was not handled in a good way in some
prominent places.