Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ISSUE1175 : Update JLine to 3.16.0 #1176

Merged
merged 1 commit into from
Sep 19, 2020
Merged

ISSUE1175 : Update JLine to 3.16.0 #1176

merged 1 commit into from
Sep 19, 2020

Conversation

rnc
Copy link
Contributor

@rnc rnc commented Sep 17, 2020

For issue #1175

@codecov-commenter
Copy link

codecov-commenter commented Sep 17, 2020

Codecov Report

Merging #1176 into master will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@            Coverage Diff            @@
##             master    #1176   +/-   ##
=========================================
  Coverage     94.30%   94.30%           
  Complexity      455      455           
=========================================
  Files             2        2           
  Lines          6673     6673           
  Branches       1793     1793           
=========================================
  Hits           6293     6293           
  Misses          102      102           
  Partials        278      278           

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 39a8940...c30a2b0. Read the comment docs.

@remkop remkop added this to the 4.6 milestone Sep 17, 2020
@remkop remkop linked an issue Sep 17, 2020 that may be closed by this pull request
@remkop remkop merged commit 28bac6a into remkop:master Sep 19, 2020
@remkop
Copy link
Owner

remkop commented Sep 19, 2020

Merged. Sorry for the delay.
Thank you for the contribution! 👍
I will do the docs next.

@remkop
Copy link
Owner

remkop commented Sep 20, 2020

Readme done now. Thank you again!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Update to JLine3 3.16.0
3 participants