>In R14, use knetworkmanager9 from GIT. (Debian/Ubuntu package is
>network-manager-tde).  3.5.13.x does not have support for 
>NetworkManager >= 0.9.

The build tree sources still use the name knetworkmanager9 but 
inside the sources the app is named tdenetworkmanager. Should we 
update the source tree from knetworkmanager9 -> tdenetworkmanager?

Darrell