Resolve "Variable_KFactor_Setter::SetKFactor throws fatal error"
Closes #264 (closed)
-
Before merging, we need to check if a cherry-pick to master is needed. Result: - the first commit in this MR should be cherry-picked to master
- the second should not (in fact, it's cherry-picked from master)
Edited by Enrico Bothmann