diff --git a/allowed.txt b/allowed.txt index 7197b0e7..8e1e37b0 100644 --- a/allowed.txt +++ b/allowed.txt @@ -562,7 +562,7 @@ PriorityChansConverger AndreySisoyev ProbabilityMonads EricKidd PropLogic DavidFox ProxN AndrasSlemmer -Pugs AudreyTang +Pugs AudreyTang JeffShaw Pup-Events DanielWilson Pup-Events-Client DanielWilson Pup-Events-Demo DanielWilson @@ -3847,9 +3847,9 @@ pseudomacros LukasMai publicsuffixlist MylesMaxfield publicsuffixlistcreate MylesMaxfield pubsub SigbjornFinne -pugs-DrIFT AudreyTang +pugs-DrIFT AudreyTang JeffShaw pugs-HsSyck GwernBranwen -pugs-compat AudreyTang +pugs-compat AudreyTang JeffShaw pugs-hsregex GwernBranwen pulse-simple DaikiHanda punycode JonKristensen MylesMaxfield @@ -4414,7 +4414,7 @@ stringlike FedorGogolev stringprep GeorgePollard strings JulianFleischer stringsearch BryanOSullivan DanielFischer -stringtable-atom AudreyTang +stringtable-atom AudreyTang JeffShaw stripe MichaelSchade strptime EugeneKirpichov structural-induction DanRosen