Kill yet another reference to UserConfig

This commit is contained in:
gavin 2013-05-04 15:10:01 +00:00
parent d0199b6a2f
commit d90a2cb697

View File

@ -99,7 +99,7 @@ The flags can be used
to control cases
where it does not work or is slower.
Setting them at boot time
using userconfig works correctly
using hints works correctly
(the optimizations are not used
until later in the bootstrap
when