Commit 2f0293e16dce2005a55c5e08f31edf12bb8d3f8e

Stefano Lattarini 2015-01-05T22:55:51

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