>>I suggest we release IdP 3.1.2 one week from today, on Wed first of July. > > I don't think we're waiting on anything. There's 3 "Issues to do" listed for 3.1.2, that's what I was working from : https://issues.shibboleth.net/jira/projects/IDP/versions/11610