![bors[bot]'s avatar](https://secure.gravatar.com/avatar/358764112654da1b495fabe94259fbe6?s=48&d=identicon "bors[bot]")
Merge #122
122: release v0.10.1 with critical section bug r=dkhayes117 a=almindor
Release the critical section bugfix from #121
Co-authored-by: 
Ales Katona <ales@katona.me>
Please register or sign in to comment
122: release v0.10.1 with critical section bug r=dkhayes117 a=almindor
Release the critical section bugfix from #121
Co-authored-by: Ales Katona <ales@katona.me>