It looks like you already sent this patch in February. It was merged in
commit ecaada08ea555310c3d7c3aef868cbb42c25a62d.
Closing.