This message was deleted.
# generals
sparse-intern-71089
05/16/2019, 11:19 PMThis message was deleted.
w
white-balloon-205
05/17/2019, 2:50 AM
The PR to brew is out for review, but often takes them up to 24 hours to merge. It should be available soon.