tree 39d0a497e84bc19e19716ab3a143c4b2cdc09115
parent 4a1edc661a1a7fc4150b6d4f9e16c378ae305c92
author Davide Pesavento <davide.pesavento@lip6.fr> 1462291719 +0200
committer Davide Pesavento <davide.pesavento@lip6.fr> 1462293692 +0200

ci: Ubuntu 12.04 is no longer supported

Change-Id: Ib14e3b7f7ac085a1415470fbbfae8b071045c2fe
Refs: #3599, #3600