Skip to content
This repository has been archived by the owner on Jul 2, 2024. It is now read-only.

[Auto] The jline GitHub organization is added #133

Merged
merged 1 commit into from
Jul 25, 2023
Merged

[Auto] The jline GitHub organization is added #133

merged 1 commit into from
Jul 25, 2023

Conversation

rpau
Copy link
Contributor

@rpau rpau commented Jul 25, 2023

[Auto] The jline GitHub organization is added.

@rpau rpau requested a review from a team July 25, 2023 14:36
@rpau rpau added the enhancement New feature or request label Jul 25, 2023
@timtebeek timtebeek merged commit 5833b9b into main Jul 25, 2023
1 check passed
@timtebeek timtebeek deleted the add/jline branch July 25, 2023 14:38
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants