K 10 svn:author V 8 sgalabov K 8 svn:date V 27 2016-03-08T08:57:53.869539Z K 7 svn:log V 263 Add MIPS_INTRNG to sys/conf/options.mips This was somehow missed in the commit of https://reviews.freebsd.org/D5182 although it was in the original diff submitted for review. Approved by: adrian (mentor) Differential Revision: https://reviews.freebsd.org/D5568 END