> If no any additional replies within this month (2015-01-31), I shall > "git push" this patch. You do not need to wait. The patch has been approved, so go ahead and push now. If there are any issues, we can handle them when they get reported. -- Joel