Admin message

Due to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template

recompilation bug with -dynamic-too
Consider the scenario 1. A user compiles a module with and without -dynamic to create `.hi` and `.dyn_hi` files. They use different options for each (ones which affect the recompilation checker). 2. They then try to recompile using `--make` mode. 3. We should recompile because `.hi` and `.dyn_hi` do not match (they were compiled with different flags) At the moment we will not recompile because the flags hash is not included in the interface hash. There is already a similar test for this `dynamicToo001MakeB`, but it changes the source file rather than any options. Root cause: The flags hash is not included in the interface hash.
issue