diff --git a/spike b/spike index d1efcdffffe..20a2b6d05a5 160000 --- a/spike +++ b/spike @@ -1 +1 @@ -Subproject commit d1efcdffffee57bab0fdbd2b377c6132b37556fd +Subproject commit 20a2b6d05a562236a32ca3ce1642a2bdbbd907a0