diff --git a/dist/version b/dist/version index 43bae12c5..d00b75be8 100644 --- a/dist/version +++ b/dist/version @@ -1 +1 @@ -1.18.12 +1.18.13.0