apt diversions

["Nikita V. Youshchenko" <yoush@cs.msu.su>]

Raphael,

if I understand correctly, you don't try to update/upgrade/... native and 
cross packages on *same* execution of apt-get. If so, isn't it better not 
to divert apt tools, but just use another command name?
People are often nervous about diversions, so at least we should have good 
reasons to divert.

Nikita

Attachment: pgpQHE3WAsB3K.pgp
Description: PGP signature