Fix segfault from <attach> mjCwrap#3157

mar-yan24 wants to merge 1 commit intogoogle-deepmind:maingoogle-deepmind/mujoco:mainfrom

mar-yan24:mark-segfaultfixmar-yan24/mujoco:mark-segfaultfixCopy head branch name to clipboard