Hello! l...@gnu.org (Ludovic Courtès) writes:
> The attached patch makes `compile' and friends use fresh module rather > than the current module as the default compile-time environment. I committed a slightly modified version in 87c595c757b7db84ffdcfda96f736ab235e674a8. Thanks, Ludo’.