Follow version bump of `pretty`

Authored by hvr on Oct 27 2013, 4:49 PM.

Description

Follow version bump of pretty

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>

Details

Committed
hvrOct 27 2013, 4:49 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF104773d609e3: Test Trac #3333
Branches
Unknown
Tags
Unknown