From c17d9289284baa6820ea32a77b4d7d0436d0461c Mon Sep 17 00:00:00 2001 From: Michael Vorburger Date: Mon, 20 Mar 2017 14:14:19 +0000 Subject: [PATCH] Updated git submodules Project: genius master a94cb0884bc9f46599af7f0c21137377e59dcead Merge "Cleanup: avoid immediate Optional.get()" Cleanup: avoid immediate Optional.get() This reworks allocateId() to store the id directly, and wrap it in an Optional when needed, instead of wrapping it and unwrapping it immediately. The performance gain isn't significant, but this helps static analysers which check for get()-without-isPresent(). Change-Id: I5155660e6240a8c9d01de0bce78528b80d755e10 Signed-off-by: Stephen Kitt --- docs/submodules/genius | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/submodules/genius b/docs/submodules/genius index 81d7538f2..a94cb0884 160000 --- a/docs/submodules/genius +++ b/docs/submodules/genius @@ -1 +1 @@ -Subproject commit 81d7538f2988f571119e3f28367a4da4094e1e07 +Subproject commit a94cb0884bc9f46599af7f0c21137377e59dcead -- 2.36.6