Fix an issue where switching backends would cause the gong to go off.
[remoteglot] / externs /
2014-11-24 Steinar H. GundersonClean up the minification stuff a bit; still not really...