tree 25ede394f986159840ab777253ee50af2672e084
parent 74742dbeff37b544358c7f629032d2bfc6ec6acc
parent 618d6bd0ce190b4186add0f8f5d7f8f380d6c7c5
author Vincent Demeester <vincent@sbr.pm> 1491926718 +0200
committer GitHub <noreply@github.com> 1491926718 +0200

Merge pull request #32520 from thaJeztah/remove-ubuntu-12.04-precise

Remove Ubuntu 12.04 "precise pangolin" from build scripts