Well. It is definately a bug, the optimization is actually useful
normally, though.

Reply via email to