Skip to content

Use inform() for user messaging#296

Merged
hadley merged 2 commits intomainfrom
inform
Jun 24, 2022
Merged

Use inform() for user messaging#296
hadley merged 2 commits intomainfrom
inform

Conversation

@hadley
Copy link
Member

@hadley hadley commented Jun 23, 2022

Fixes #293

@hadley hadley merged commit e061c06 into main Jun 24, 2022
@hadley hadley deleted the inform branch June 24, 2022 20:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Use inform instead of message

2 participants