Commit 98bbee782bcc534cbc40eac3e317727d45826b48

Paul Eggert 2025-01-19T23:24:26

flexmember: update comment