webmin/webmin — pull request #141 by jdrab (2014-04-17 09:52:46+00:00)
Title: Fix numerical operators

Just a minor fix in numerical operators.