[ fix ] RRBVector1#72

Matthew-Mosior wants to merge 1 commit intoidris-community:mainidris-community/idris2-containers:mainfrom

Matthew-Mosior:fix-rrbvector1-to-make-thread-safeMatthew-Mosior/idris2-containers:fix-rrbvector1-to-make-thread-safeCopy head branch name to clipboard