diff options
author | Andres Gomez <[email protected]> | 2017-03-27 21:48:16 +0300 |
---|---|---|
committer | Andres Gomez <[email protected]> | 2017-05-08 11:39:46 +0300 |
commit | 9c70537a52da2455c06c660ef40f20c69b08df16 (patch) | |
tree | e56a5c2f0fe3892e39b9df61234b7731130b8009 /docs/releasing.html | |
parent | 2be0a99052902ffc92834925132b6230ff37fbd0 (diff) |
docs/releasing: added relevant people for build/check with MacOSX
Signed-off-by: Andres Gomez <[email protected]>
Cc: Emil Velikov <[email protected]>
Cc: Jeremy Huddleston Sequoia <[email protected]>
Reviewed-by: Jeremy Sequoia <[email protected]>
Diffstat (limited to 'docs/releasing.html')
-rw-r--r-- | docs/releasing.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/releasing.html b/docs/releasing.html index 5f34e03c163..9b5a8b89d9f 100644 --- a/docs/releasing.html +++ b/docs/releasing.html @@ -147,6 +147,11 @@ provide feedback about the build status in that project. </p> <p> +For MacOSX related changes, Jeremy Huddleston Sequoia is currently a +good contact point. +</p> + +<p> <strong>Note:</strong> If a patch in the current queue needs any additional fix(es), then they should be squashed together. <br> |