stable-20100525
1690084e · make sure to reset the ignore_booting flag ·