20+ pull requests to merge？

[徐毅]

Hi,


I have noticed that there are about 20 pull requests ready to merge. Shall we 
decide whether to merge them into master as soon as possible?


Thanks,
XuYi