On Wed, Mar 1, 2017 at 6:02 AM, Simon Sapin <simon.sa...@exyr.org> wrote: > The first message of a pull request is copied into the merge commit when > bors/homu merges it.
What was the rationale behind this, out of curiousity? Cheers, kats _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
