Integrated: Improve bot message formatting
rwestberg at openjdk.java.net
Sun Sep 6 08:52:33 UTC 2020
On Sat, 5 Sep 2020 14:22:27 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:
> Hi all,
> Please review this small change that improves the formatting of a few bot messages.
> Best regards,
This pull request has now been integrated.
Author: Robin Westberg <rwestberg at openjdk.org>
Stats: 40 lines in 7 files changed: 2 ins; 9 del; 29 mod
Improve bot message formatting
More information about the skara-dev