James Mitchell

Is this addressed by PR #161?

Aw...

This feature was included in #618, so I'm going to close this.

I'm happy to go for this, sounds very sensible!

Just to say I'm happy to accept a PR and to make a release of Semigroups to facilitate this change!

Thanks for the ping @ChrisJefferson, I think listing the non-author non-maintainers in the citation is probably not right. Probably also including the non-author maintainers in the citation is also not...

Something I find useful is being able to go to a line in the history (using the "up" arrow), then hit return, then use the "down" arrow to run through...

@fingolfin I didn't characterize: > "folding identical consecutive lines into a single one" as "completely removing this feature" I only wanted to say that I would be sad if this...

Thanks for the report @abetten, are you installing from the git repo or from the release archive? I seem to remember seeing something similar but don't remember what the issue...

Release archive or from git?