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.

Sign up for GitHub

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

Jump to bottom

Reduce usages of Guava #177

Merged
merged 1 commit into from
Nov 18, 2021
Merged

Reduce usages of Guava #177

merged 1 commit into from
Nov 18, 2021

Conversation

basil
Copy link
Member

@basil basil commented Oct 16, 2021

Reduces some usages of Guava without affecting serialized state or backward compatibility.

@jglick
Copy link
Member

jglick commented Nov 1, 2021

Relation to #159?

@basil
Copy link
Member Author

basil commented Nov 6, 2021

Relation to #159?

This is ready to merge as-is and #159 isn't?

@olamy
Copy link
Member

olamy commented Nov 6, 2021

#159 is more agressive :)

@jglick
Copy link
Member

jglick commented Nov 8, 2021

So merge this now, and mark #159 as draft until it can be finished.

@basil
Copy link
Member Author

basil commented Nov 18, 2021

So merge this now, and mark #159 as draft until it can be finished.

Agreed. @olamy are you interested in merging this?

@olamy olamy merged commit c84aa8c into jenkinsci:master Nov 18, 2021
@olamy olamy added the chore label Nov 18, 2021
@basil basil deleted the reduce-guava branch November 23, 2021 17:51
@jglick jglick mentioned this pull request Jul 1, 2022
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
chore maintenance
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@basil @jglick @olamy