[settings] Fix erroneous bit-masking in fetch_uintz_setting()
authorMichael Brown <mcb30@etherboot.org>
Wed, 20 May 2009 07:54:41 +0000 (08:54 +0100)
committerMichael Brown <mcb30@etherboot.org>
Wed, 20 May 2009 07:55:48 +0000 (08:55 +0100)

No differences found