Commits on Nov 11, 2021

1. Annotations for user_erasure_store …

   I'm not sure why this was excluded---it seemed to be passing for me. But
   it's easy enough to fixup.

   David Robertson committed Nov 11, 2021
   Configuration menu

   • View commit details
   • Copy full SHA for bbaee2a
   • Browse repository at this point

   Copy the full SHA

   bbaee2a View commit details

   Browse the repository at this point in the history

2. Merge branch 'develop' into dmr/typing/storage/user_erasure_store

   David Robertson authored Nov 11, 2021
   Configuration menu

   • View commit details
   • Copy full SHA for d5fbcdf
   • Browse repository at this point

   Copy the full SHA

   d5fbcdf View commit details

   Browse the repository at this point in the history