tree 6c81516e1272063397943beacb59df4f6c5b1bd5
parent 2e52d7cab4e03631db7f6c89a2daf7de590dd29e
author Davide Pesavento <davide.pesavento@lip6.fr> 1460809927 +0200
committer Davide Pesavento <davide.pesavento@lip6.fr> 1461284173 +0200

docs+ci: Ubuntu 12.04 is no longer supported

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