dist/src/sanity.sh

2675     # UseNewInfoFmtStrings key in CVSROOT/config.  It's inefficient, but there
18854 	  sed -e's/^UseNewInfoFmtStrings=yes$/#&/' <config >tmpconfig
18890 and set UseNewInfoFmtStrings=yes in CVSROOT/config\.  After that, convert
18898 and set UseNewInfoFmtStrings=yes in CVSROOT/config\.  After that, convert
18910 and set UseNewInfoFmtStrings=yes in CVSROOT/config\.  After that, convert
18918 and set UseNewInfoFmtStrings=yes in CVSROOT/config\.  After that, convert
18929 and set UseNewInfoFmtStrings=yes in CVSROOT/config\.  After that, convert
18993 and set UseNewInfoFmtStrings=yes in CVSROOT/config\.  After that, convert
19456 	  sed -e's/^UseNewInfoFmtStrings=yes$/#&/' <config >tmpconfig
19490 and set UseNewInfoFmtStrings=yes in CVSROOT/config\.  After that, convert
19515 and set UseNewInfoFmtStrings=yes in CVSROOT/config\.  After that, convert
19623 and set UseNewInfoFmtStrings=yes in CVSROOT/config\.  After that, convert
19655 and set UseNewInfoFmtStrings=yes in CVSROOT/config\.  After that, convert
19727 	  echo "UseNewInfoFmtStrings=yes" >>config
19742 and set UseNewInfoFmtStrings=yes in CVSROOT/config\.  After that, convert