This is a big and painful change.  I'd suggest to either drop it for
now or convince Bjorn to take it as a scripted renamed just after -rc1.
To unsubscribe from this list: send the line "unsubscribe linux-doc" in
the body of a message to
More majordomo info at

Reply via email to