Skip to content
This repository has been archived by the owner on Sep 6, 2022. It is now read-only.

mention alternative forms #6

Merged
merged 1 commit into from
Mar 17, 2022
Merged

Conversation

ferdymercury
Copy link
Contributor

of help and quit

as in root-project/root#10055

of help and quit
@couet couet self-assigned this Mar 17, 2022
@couet
Copy link
Member

couet commented Mar 17, 2022

LGTM

@couet couet merged commit f35e415 into root-project:master Mar 17, 2022
@ferdymercury ferdymercury deleted the patch-1 branch March 17, 2022 13:22
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants