Fix #221

Closes #221 (closed)

changed milestone to %runtime-802

added C-binary P7-nicetohave RN-silent labels

assigned to @bgallois

changed the description

added 3 commits

• 246d3a25...a3273d23 - 2 commits from branch master
• 71af68e3 - fix #221 (closed)

Compare with previous version

changed the description

marked this merge request as ready

requested review from @HugoTrentesaux

approved this merge request

added 2 commits

• 2b050e27 - 1 commit from branch master
• bc8a05e5 - fix #221 (closed)

Compare with previous version

Looks good to me. Seems strangely simpler than before

added 4 commits

• bc8a05e5...6bc8c9c9 - 3 commits from branch master
• 315649ae - fix #221 (closed)

Compare with previous version

added 1 commit

• 0b58798f - optimization

Compare with previous version

added 1 commit

• 55f6a2b9 - optimization

Compare with previous version

resolved all threads

merged

mentioned in commit 19a6714b

added RN-binary label

removed RN-silent label