From 0aea1eaf8c63b0761b659194e24e13816eec26a9 Mon Sep 17 00:00:00 2001
From: BrewTestBot <homebrew-test-bot@lists.sfconservancy.org>
Date: Fri, 18 Oct 2019 09:29:47 +0000
Subject: [PATCH] lean-cli: update 0.21.0 bottle.

---
 Formula/lean-cli.rb | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Formula/lean-cli.rb b/Formula/lean-cli.rb
index 758b2acc2c..61e009981f 100644
--- a/Formula/lean-cli.rb
+++ b/Formula/lean-cli.rb
@@ -7,6 +7,7 @@ class LeanCli < Formula
 
   bottle do
     cellar :any_skip_relocation
+    sha256 "0442dfa2d85d2220cb0d79559878d71b0447850da77975307c11c2da7c0fb7c9" => :catalina
     sha256 "de13c20a85a6f638a4b6134a889fa52316916cac183d8fb5956710eea4e32453" => :mojave
     sha256 "977d34c18bac304b6e1a1ef3fe6d0d6a5be3204f3f6b6471204a78f5eedc1e14" => :high_sierra
     sha256 "e5f87605029c8558975decaa755cdf9566593adf08d0fe44669615e9869be25e" => :sierra