Hi Folks,<div><br></div><div>Merging of patches will resume on December 6th at 15h00 CEST. I will also be bringing Lukas Fleischer on board to help out with the review and merges, so that we can maintain a good pace of commits.</div>
<div><br></div><div>Talk to you all next week.</div><div><br></div><div>Jason</div>