21 Feb
2013
21 Feb
'13
2:56 p.m.
Quoting Paul Fertser
On Thu, Feb 21, 2013 at 02:01:41PM -0500, wagnerdm@seas.upenn.edu wrote:
I guess the new field should be set in defaultXPConfig. Whoever pushes this patch can certainly do that.
I thought my patch already does that, giving Nothing by default, so it shouldn't break any existing configs.
It does; I just read the patch incorrectly. Apologies. Following Gwern's search, I've pushed the patch. Thanks! ~d