From reading the email, I looks like the majority (~12k) of the cuts are in the Nokia division, not sure how many of those are developers but I'd imagine not the majority.