On Wed, 2011-11-16 at 12:03 -0800, Brian Norris wrote: > Hi, > > These two fixes are somewhat trivial, although the second one fixes a > kind of regression that occurred since the last release. Pushed both, thanks! Artem.