Commit 1511d20e authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Merge branch 'big-integer-killer-improvements' into 'master' 

Make BigIntegerKiller's warning message more precise.

See merge request !34
parents ce2b6225 52ced6bf