diff --git a/allowed.txt b/allowed.txt index 24b6a532..59991e67 100644 --- a/allowed.txt +++ b/allowed.txt @@ -5554,3 +5554,4 @@ liquid-fixpoint EricSeidel liquidhaskell EricSeidel mono-traversable MichaelSnoyman proj4-hs-bindings PavelPenev +Win32-extras KidoTakahiro