Merge changes from CEDET upstream.
commitd439424c5a226a216b78980fbca8a998979e372f
authorDavid Engster <dengste@eml.cc>
Sun, 7 Oct 2012 18:29:07 +0000 (7 20:29 +0200)
committerDavid Engster <dengste@eml.cc>
Sun, 7 Oct 2012 18:29:07 +0000 (7 20:29 +0200)
treef2c6f9bbb61d7a317943ed0fea3b859e99f2c98c
parent1caab2c160eb57cd17a67bdfeed67692e50c68f0
parent9735f8f0eea6876856ac769d194651a2d3a87b09
Merge changes from CEDET upstream.