Stuck reviews

Hi, I have a couple of reviews that were stuck for weeks

Can someone review them?


First one is taken care of, second one is about SPIRV: @antiagainst or also @MaheshRavishankar maybe?

Sorry about that. The second LGTM. @antiagainst is on holiday today and will be back on Monday and can post review.

(I work with him and we’ll talk next week about what went wrong with email filters so that this stalled)