Commit ebe2cf45 authored by Simon Peyton Jones's avatar Simon Peyton Jones Committed by Marge Bot

Remove an incorrect WARN in extendLocalRdrEnv

I noticed this warning going off, and discovered that it's
really fine.  This small patch removes the warning, and docments
what is going on.
parent d47324ce
Pipeline #22814 failed with stages
in 377 minutes and 50 seconds