Make the severity of diagnostics configurable#293

mame merged 1 commit intoruby:masterruby/typeprof:masterfrom

mame:configurable-diagnostic-severitymame/typeprof:configurable-diagnostic-severityCopy head branch name to clipboard