Add test for #5785.

Authored by dterei on Jan 17 2012, 7:33 PM.

Description

Add test for Trac #5785.

Details

Committed
dtereiJan 17 2012, 7:42 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF0998987ceddc: Update .gitignore.
Branches
Unknown
Tags
Unknown