Should we create a 15.12 branch before the end of the year? I don't have a strong opinion but it may be nice to create since: 1) the 12.04 is approaching the end of life and we usually keep 3 live branches 2) several changes have been introduced since the last (14.12) branch 3) it is nice to avoid skipping a year
What do you think? Jacopo
