Remove MembersStorageIter

• Closes #124 (closed)

changed milestone to %runtime-800

added C-runtime D-medium ET-days P9-somedaymaybe RN-runtime S-ToDo labels

assigned to @bgallois

added 1 commit

• 0d8ad49c - fix #124 (closed)

Compare with previous version

marked this merge request as ready

requested review from @HugoTrentesaux

approved this merge request

merged

mentioned in commit f59d7fa0