akwizgran 3ec8af4661 Merge branch 'use-java-8-language-features' into 'master' ...

Use java 8 language features

See merge request !621

2017-11-21 15:22:52 +00:00

..

main/java/org/briarproject/briar

Merge branch 'use-java-8-language-features' into 'master'

2017-11-21 15:22:52 +00:00

test/java/org/briarproject/briar

Effectively final.

2017-11-21 10:51:35 -02:00