Merge branch 'mmondor' into 'develop'
authorMatthew Mondor <mmondor@pulsar-zone.net>
Thu, 27 Aug 2015 07:39:10 +0000 (07:39 +0000)
committerMatthew Mondor <mmondor@pulsar-zone.net>
Thu, 27 Aug 2015 07:39:10 +0000 (07:39 +0000)
mmondor -> develop (with-rwlock …)

See merge request !2


Trivial merge