tree 1e5e6a2a31e56324194e36a5fe155ca1b96527d2
parent d3e821f6ffd307f39a9f998550de07e07708c1e5
author Luca Milanesio <luca.milanesio@gmail.com> 1528881479 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1531254383 -0400

Use Debian for Buck build image

The new Debian image should be used for all builds
including Buck.

The old Ubuntu 15.x is now obsolete and can be safely
discontinued. Will do that in the follow-up change when
no more images will point to it.

Change-Id: I5c0401a3db1ce407841fb297bff85072204914d7