TheMuppets/proprietary_vendor_htc — pull request #2 by intervigilium (2013-05-14 02:57:58+00:00)
Title: clean out proprietary files

pending submission of some patches on gerrit, although it should be harmless to merge