tree 34b55883575c65503c6f677762c3fb6d8269e58f
parent 6602b3b1790d3791d6742561021002ca809b6625
author Davide Pesavento <davide.pesavento@lip6.fr> 1461284473 +0200
committer Alexander Afanasyev <alexander.afanasyev@ucla.edu> 1461784506 -0700

docs+ci: Ubuntu 12.04 is no longer supported

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