<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">I don't know why, but phabricator did not send out an email with the new patch version and comment. Doing this manually now, consider this a ping:</div><div class=""><br class=""></div><div class=""><span style="font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; font-size: 13px; line-height: 18.850000381469727px; background-color: rgb(255, 255, 255);" class="">Simplified patch by using condition variables.</span></div><div class=""><span style="font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; font-size: 13px; line-height: 18.850000381469727px; background-color: rgb(255, 255, 255);" class=""><br class=""></span></div><div class=""><span style="font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; font-size: 13px; line-height: 18.850000381469727px; background-color: rgb(255, 255, 255);" class="">Greetings</span></div><div class=""><span style="font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; font-size: 13px; line-height: 18.850000381469727px; background-color: rgb(255, 255, 255);" class=""> Matthias</span></div><div class=""><span style="font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; font-size: 13px; line-height: 18.850000381469727px; background-color: rgb(255, 255, 255);" class=""><br class=""></span></div></body></html>