Don't store tmpDir in Settings
There was no point in doing this as indicated by the TODO.Very simple TODO fix -- namely moving tmpDir field from FileSettings to DynFlags -- so I don't think it deserves a ticket.
There was no point in doing this as indicated by the TODO.Very simple TODO fix -- namely moving tmpDir field from FileSettings to DynFlags -- so I don't think it deserves a ticket.