Is the development of 1.13 stuck?

The same three open issues for more than two weeks: OK, it is summer, and everyone is on holiday. But I thought in the US you don’t have as many holidays as in Europe. Are there any blockers?