sbt/sbt — pull request #1036 by dansanduleac (2013-12-11 18:48:03+00:00)
Title: Allow derived settings to replace previously-defined but non-default settings (#1034)

It remains to update all uses of `DerivedSetting` internally so that they still get created as `DefaultSetting`s, by doing so explicitly.