Actually, this ought to be 13.2.15 - no matter, I update this as a part of packaging it up to deploy it (no need to bother with it in individual PRs).