Per Lundberg aa032b8aea Future.java: Fix typos in Javadoc (#9391) ... Motivation: Docs should have no typos Modifications: Fix a few typos Result: More correct docs.		2019-07-24 07:23:29 +02:00
..
main	Future.java: Fix typos in Javadoc (#9391)	2019-07-24 07:23:29 +02:00
test	optimize some code (#9289)	2019-06-28 13:48:23 +02:00