Commit e12608fa5a899a2b2e0c7db0c3d1726b1242221e

Stefano Lattarini 2015-01-05T22:52:39

Merge branch 'micro' into minor * micro: maint: update copyright years to 2015 (branch 'micro')