gnieh/bluelatex — pull request #90 by chemicalstorm (2014-06-28 20:35:54+00:00)
Title: [imp #42] Synchronization actor code clean-up

Open this PR for comments.
There may be other commits in order to fix the remaining dirty bits of the synchronization code.