In a 10 second glance at closed PRs, it doesn't seem like they ever merge any from the public.