diff --git a/dev-tools/.trigger b/dev-tools/.trigger index 7f8f011eb..45a4fb75d 100644 --- a/dev-tools/.trigger +++ b/dev-tools/.trigger @@ -1 +1 @@ -7 +8