drop last extra 1.3.25 release