diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2023-12-21 13:28:24 +0100 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2023-12-21 13:28:24 +0100 |
commit | 0e5e02db86641868e72600ea0e5395a851f76305 (patch) | |
tree | e98d8fcaa9e57f88292cfd353232872c93eaad3b | |
parent | 837e939d8b0c8f45eb1a6f5c138aa4080a5045f0 (diff) |
bump channel to stable
-rw-r--r-- | src/ci/channel | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/channel b/src/ci/channel index 65b2df87f7d..2bf5ad0447d 100644 --- a/src/ci/channel +++ b/src/ci/channel @@ -1 +1 @@ -beta +stable |