#1423 PR merged: Some fixes for the UserInput function¶
Labels: enhancement, fixed / solved / done, minor bug
jsmeix opened issue at 2017-07-18 12:36:¶
Some fixes for the UserInput function
plus fallback if md5sum is not there.
[Export of Github issue for rear/rear.]