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

JBIDE-18381 : better lazy initialization of properties #317

Closed
wants to merge 1 commit into from
Closed

JBIDE-18381 : better lazy initialization of properties #317

wants to merge 1 commit into from

Conversation

fbricon
Copy link
Member

@fbricon fbricon commented Sep 18, 2014

Signed-off-by: Fred Bricon fbricon@gmail.com

Signed-off-by: Fred Bricon <fbricon@gmail.com>
@fbricon
Copy link
Member Author

fbricon commented Sep 18, 2014

@maxandersen , @dgolovin, @robstryker : any of you concurrent programming expert wanna check that one?

@dgolovin
Copy link
Member

+1

@fbricon
Copy link
Member Author

fbricon commented Sep 19, 2014

Applied in master and 4.2.x

@fbricon fbricon closed this Sep 19, 2014
@fbricon fbricon deleted the JBIDE-18381-42x branch September 19, 2014 15:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
2 participants