Skip to content

sorbet: Update RBI files.#10791

Merged
dawidd6 merged 1 commit intomasterfrom
sorbet-files-update
Mar 6, 2021
Merged

sorbet: Update RBI files.#10791
dawidd6 merged 1 commit intomasterfrom
sorbet-files-update

Conversation

@BrewTestBot
Copy link
Copy Markdown
Contributor

Autogenerated by the sorbet workflow.

@dawidd6 dawidd6 enabled auto-merge March 6, 2021 00:56
@dawidd6 dawidd6 merged commit a930e2b into master Mar 6, 2021
@dawidd6 dawidd6 deleted the sorbet-files-update branch March 6, 2021 04:37
@BrewTestBot BrewTestBot added the outdated PR was locked due to age label Apr 5, 2021
@Homebrew Homebrew locked as resolved and limited conversation to collaborators Apr 5, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

outdated PR was locked due to age

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants