From ae7792634fa6a47283aa7f731fe4692f228dbcd5 Mon Sep 17 00:00:00 2001 From: Michiel Borkent Date: Fri, 15 Apr 2022 11:48:40 +0200 Subject: [PATCH] Process: arg vec type hints --- process | 2 +- sci | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/process b/process index 8d72f209..1eebafc6 160000 --- a/process +++ b/process @@ -1 +1 @@ -Subproject commit 8d72f2097a1dc49b81a52af6733b8beb836efbdc +Subproject commit 1eebafc696e9bac7538c296d5a7c1fde977ad523 diff --git a/sci b/sci index 39f552d7..2af989d0 160000 --- a/sci +++ b/sci @@ -1 +1 @@ -Subproject commit 39f552d716ded4866c54cd61e89a8c3bd4c99fdb +Subproject commit 2af989d0eb80741b026fd2355442033b05a3b181