diff --git a/dev-tools/.trigger b/dev-tools/.trigger index b8626c4cf..7ed6ff82d 100644 --- a/dev-tools/.trigger +++ b/dev-tools/.trigger @@ -1 +1 @@ -4 +5