diff options
| author | gritbub <38131016+gritbub@users.noreply.github.com> | 2018-06-02 18:33:05 -0500 |
|---|---|---|
| committer | gritbub <38131016+gritbub@users.noreply.github.com> | 2018-06-02 18:33:05 -0500 |
| commit | 522d0f045efdfe404f66df42053f156ec41a0574 (patch) | |
| tree | efb286d00f775750e812070ef068b609afde0746 | |
| parent | e2d965ab360ab077b408d4819dd0a2000ff132d8 (diff) | |
| download | ghdl-522d0f045efdfe404f66df42053f156ec41a0574.tar.gz ghdl-522d0f045efdfe404f66df42053f156ec41a0574.tar.bz2 ghdl-522d0f045efdfe404f66df42053f156ec41a0574.zip | |
Replace Minimum with Minimal
| -rw-r--r-- | doc/contribute.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/contribute.rst b/doc/contribute.rst index 7886b538a..075a401c8 100644 --- a/doc/contribute.rst +++ b/doc/contribute.rst @@ -40,7 +40,7 @@ Please, report issues of this kind through |SHIELD:bug-report|, as this allows u to assign developers to them. You can track the issue’s state and see how it’s getting solved. .. IMPORTANT:: - To make it easier, please elaborate a `Minimum (non) Working Example` (`MWE <https://en.wikipedia.org/wiki/Minimal_Working_Example>`_) prior to sending the report, so that the possible bug source is isolated. Should the MWE compile and run, it would be a good idea to make it look like a test and to make an assert statement that will stop execution; a severity level `note` indicates success, while a severity level `failure` indicates failure. + To make it easier, please elaborate a `Minimal (non) Working Example` (`MWE <https://en.wikipedia.org/wiki/Minimal_Working_Example>`_) prior to sending the report, so that the possible bug source is isolated. Should the MWE compile and run, it would be a good idea to make it look like a test and to make an assert statement that will stop execution; a severity level `note` indicates success, while a severity level `failure` indicates failure. Also, please include enough information for the maintainers to reproduce the problem. This includes: |