Sure. By the way, I see the github message "We can’t automatically merge this pull request", which means I may not be able to apply this patch without conflicts.  Maybe it got messed by another patch?