Changes in error messages when fixing Trac #8649

Authored by simonpj on Jan 9 2014, 11:59 AM.

Description

Changes in error messages when fixing Trac Trac #8649

Mostly improvements, happily

Details

Committed
simonpjJan 9 2014, 12:00 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF91252ef0f0d3: Test Trac #5498
Branches
Unknown
Tags
Unknown