diff options
| author | Andres Gomez <[email protected]> | 2017-05-03 21:14:38 +0300 |
|---|---|---|
| committer | Andres Gomez <[email protected]> | 2017-05-08 11:39:20 +0300 |
| commit | 029d7bebed1aa6d5082294fcfc133264f439da23 (patch) | |
| tree | 7d2c2cfe93d1bc644cf19d16530fc410e84999dc /docs/releasing.html | |
| parent | fcdc96d1fcff7ee1bb1405e734d9d57dd3bbdae0 (diff) | |
docs/releasing: added relevant people for build/check with Windows
v2: Brian Paul as main contact point and Jose Fonseca as
fallback (Vinson, Jose)
Signed-off-by: Andres Gomez <[email protected]>
Cc: Emil Velikov <[email protected]>
Cc: Vinson Lee <[email protected]>
Cc: Brian Paul <[email protected]>
Cc: Jose Fonseca <[email protected]>
Reviewed-by: Brian Paul <[email protected]>
Reviewed-by: Jose Fonseca <[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 a96479ee565..22ede8dc9e2 100644 --- a/docs/releasing.html +++ b/docs/releasing.html @@ -136,6 +136,11 @@ Github integration. </p> <p> +For Windows related changes, the main contact point is Brian +Paul. Jose Fonseca can also help as a fallback contact. +</p> + +<p> <strong>Note:</strong> If a patch in the current queue needs any additional fix(es), then they should be squashed together. <br> |