30 Jan
2018
30 Jan
'18
7:07 a.m.
On Mon, Jan 29, 2018 at 4:32 PM, Mariatta Wijaya
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