Commit 3e7e75bed2cf2853b0d42d635d36676b3330d475

Nick Wellnhofer 2020-01-02T15:19:57

Minor fixes to configure.js - Semicolon coding style - Remove duplicated option check Found by lgtm.com