Commit graph

1 commit

Author SHA1 Message Date
Victor Berger 229029f2da Formalize thread-safety guarantees (#322) 2017-10-18 20:40:21 +02:00