Fixed two links.
Merge details
requested review from @brevilo
assigned to @lanied
Just to make sure: the intended effective change is really just 41d1d2b5, correct?
Yes.
assigned to @brevilo and unassigned @lanied
approved this merge request
mentioned in commit 880915e6
merged
Thanks
