>>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

Yes.  I will need to do it on this end though to make sure the autobuild
system and patchset generator continue to operate correctly.

Tim