Fix flex contact filtering compaction - #3495

Fix flex contact filtering compaction#3495

rootkiller6788 wants to merge 1 commit into

google-deepmind:maingoogle-deepmind/mujoco:mainfrom

rootkiller6788:fix-filter-flex-contacts-compactionrootkiller6788/google-deepmind__mujoco:fix-filter-flex-contacts-compactionCopy head branch name to clipboard