tag e804060b6542f3afe493ba5de9740f9ff5689d7a 7.1.5.0
Author:	Hendrik Leppkes <h.leppkes@gmail.com>
Date:	Wed Feb 1 06:40:54 2017 +0100

Tag as 7.1.5.0

commit fb57dbbbedfd2cca0b8b17b03d881920dec19db7
Author: Hendrik Leppkes <h.leppkes@gmail.com>
Date:   Wed Feb 1 06:38:03 2017 +0100

    Options to trim or hide objective counters
    
    Patch by Xuerian, issue #22

commit eb5fd66ddab04b65249e3f41a567ce673753c2f2
Author: Hendrik Leppkes <h.leppkes@gmail.com>
Date:   Wed Feb 1 06:34:55 2017 +0100

    Try to match more common patterns for existing formatting on the gossip frame

