Re: [GHC] #3455: Add a setting to change how Unicode encoding errors are handled

#3455: Add a setting to change how Unicode encoding errors are handled -+-- Reporter: judahj | Owner: Type: proposal| Status: closed Priority: normal

Re: [GHC] #3455: Add a setting to change how Unicode encoding errors are handled

#3455: Add a setting to change how Unicode encoding errors are handled -+-- Reporter: judahj|Owner: Type: proposal | Status: new Priority:

[GHC] #3455: Add a setting to change how Unicode encoding errors are handled

#3455: Add a setting to change how Unicode encoding errors are handled -+-- Reporter: judahj| Owner: Type: proposal | Status: new Priority: normal

Re: [GHC] #3455: Add a setting to change how Unicode encoding errors are handled

#3455: Add a setting to change how Unicode encoding errors are handled -+-- Reporter: judahj|Owner: Type: proposal | Status: new Priority: