Update .gitmodules
Update .gitmodules

Co-authored-by: Tom Grigg <077606d8eee7ca1ce8ded2f05128b651d25419f0@gmail.com>
sjrd/dotty,dotty-staging/dotty,sjrd/dotty,dotty-staging/dotty,lampepfl/dotty,lampepfl/dotty,sjrd/dotty,dotty-staging/dotty,dotty-staging/dotty,sjrd/dotty,lampepfl/dotty,sjrd/dotty,lampepfl/dotty,dotty-staging/dotty,lampepfl/dotty