diff --git a/allowed.txt b/allowed.txt index e59d9fb4..7527b4c6 100644 --- a/allowed.txt +++ b/allowed.txt @@ -5345,3 +5345,10 @@ geek JinjingWang geek-server JinjingWang scotty-session AlexanderThiemann supervisor AlbertoCorona +data-fin WrenThornton +ec2-signature YusukeNomura +henet JohnEricson +monadiccp-gecode JanTikovsky +string-similarity MarkWotton +threepenny-gui HeinrichApfelmus +yaml2owl LeifWarner