<div dir="ltr">All done!  Both patches git-am'd and pushed to master and also to the release branch.<div><br></div><div>-Matt</div></div>