I just looked at the github pull request list when I noticed the same thing, 
and it looks much better, too (fewer entries).

Reply via email to