Other hints that it was 3.17 (without having a local clone):
- the milestone for the MR is
3.17.0
- the merge commit (available towards the end of the MR in the “mentioned in commit …” note) tag listing (requires hitting the
···
button) shows3.17.0-rc1
, but no 3.16 tags.