Merge with migrate-launchtaskbar
authorGiuseppe Penone <giuspen@gmail.com>
Thu, 27 Feb 2014 09:27:07 +0000 (10:27 +0100)
committerGiuseppe Penone <giuspen@gmail.com>
Thu, 27 Feb 2014 09:27:07 +0000 (10:27 +0100)

Trivial merge