Pushed, thanks!

(minor: I deleted the trailing period to match the commit style)

Reply via email to