I just looked up how to sign off git patches, and pushed yours to master.
Thanks!

Andreas


Reply via email to