Hi, Benjamin Herrenschmidt writes:
> Any reason why it's disabled ? When it was off, people asked for it to be on. When it was on, others asked for it to be off. Eventually, we even got a bug report and then turned it off for good and put an entry into the changelog. Regards, Jens. -- J'qbpbe, le m'en fquz pe j'qbpbe! Le veux aimeb et mqubib panz je pézqbpbe je djuz tqtaj!
