Atgeirr Flø Rasmussen e38b9ffcb7 Classify convergence failure as a "problem" not "error".		2016-10-20 22:36:20 +02:00
..
core	Classify convergence failure as a "problem" not "error".	2016-10-20 22:36:20 +02:00