diff CONTRIBUTING @ 42149:84b5ad5fc2aa stable

merge: forgot to pull before release These two changes should be part of 5.0, but we are fine leaving them out of the RC.
author Augie Fackler <augie@google.com>
date Wed, 17 Apr 2019 14:10:02 -0400
parents a492610a2fc1
children
line wrap: on
line diff