Re: ASDF status for 3.1.7 release