Closed lrita closed 5 years ago
This looks good, but I'm going to hold off on merging anything until I've got the Travis situation figured out (our builds appear to be broken, possibly related to my sudden lack of admin permissions to this repo..)
Merged manually after confirming with ./validate.sh
add the missing change with RWMutex in #233