devtools: update continuous-build.sh

This commit is contained in:
Giacomo Tesio 2017-02-22 00:56:42 +01:00
parent a55f6222e4
commit 25f2fb7eef
1 changed files with 1 additions and 1 deletions

@ -1 +1 @@
Subproject commit c577fffb34cd2b53d270bd969fdac41b1aea43f4
Subproject commit f2443751aab17adbf63fb877724f0bec51cb6cc1