diff --git a/dev-tools/.trigger b/dev-tools/.trigger index 1e8b31496..7f8f011eb 100644 --- a/dev-tools/.trigger +++ b/dev-tools/.trigger @@ -1 +1 @@ -6 +7