diff --git a/dmtcp b/dmtcp index 157726db9..5163a3d15 160000 --- a/dmtcp +++ b/dmtcp @@ -1 +1 @@ -Subproject commit 157726db9f4e746fe5dbfcaf2b6c92a249b89c48 +Subproject commit 5163a3d15e75b63341eba2e613434f455364ce8a