On Wed, Mar 1, 2017 at 6:02 AM, Simon Sapin <[email protected]> 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 [email protected] https://lists.mozilla.org/listinfo/dev-servo
