diff --git a/src/GAP b/src/GAP index bf0c41513..65c8971e9 160000 --- a/src/GAP +++ b/src/GAP @@ -1 +1 @@ -Subproject commit bf0c4151383da8ec611cdb29789fdfd298ac8f91 +Subproject commit 65c8971e93f42db60fe06e5c45c254e8c80ac766