Integrated: Improve bot message formatting

Robin Westberg rwestberg at
Sun Sep 6 08:52:33 UTC 2020

On Sat, 5 Sep 2020 14:22:27 GMT, Robin Westberg <rwestberg at> wrote:

> Hi all,
> Please review this small change that improves the formatting of a few bot messages.
> Best regards,
> Robin

This pull request has now been integrated.

Changeset: 5da1a5a6
Author:    Robin Westberg <rwestberg at>
Stats:     40 lines in 7 files changed: 2 ins; 9 del; 29 mod

Improve bot message formatting

Reviewed-by: ehelin



More information about the skara-dev mailing list