That was in July, but no surprise. I feel sorry for those who leave after 2017 after 20 years, they might have their discharge sign by Hillary. Maybe some will accept the signature just to get out earlier than planned.
I wanted to retire in 1992 but left 6 months early in 1991 so my retirement certificate would be signed by George HW Bush and not the draft-dodging, military-hating Bill Clinton. Knew a lot of guys that did the exact same thing.