Merge branch 'release-0.19' upstream 0.19 upstream/0.19
authorGui Chen <gui.chen@intel.com>
Mon, 20 May 2013 05:59:50 +0000 (01:59 -0400)
committerGui Chen <gui.chen@intel.com>
Mon, 20 May 2013 05:59:50 +0000 (01:59 -0400)
Conflicts:
VERSION
debian/changelog
packaging/mic.dsc
packaging/mic.spec


Trivial merge