diff options
| -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> |