On Mon, Jan 29, 2018 at 4:32 PM, Mariatta Wijaya
<mariatta.wijaya@gmail.com> wrote:
> I suggest we start adding this where it makes sense, to give proper credit
> to PR authors.
+1
Thanks for noticing this. I've bumped into this several times and
look forward to (more clearly) giving credit where credit is due.
-eric