diff options
author | Dana Robinson <43805+derobins@users.noreply.github.com> | 2023-05-02 05:25:48 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-02 05:25:48 (GMT) |
commit | 6eb021b68a8b46bbc89844713f014e6ba729ca7d (patch) | |
tree | 25a971cb952841ac796db4f72a4be850ac2ce437 /release_docs/HISTORY-1_0-1_8_0.txt | |
parent | da46fdbf50984636aeac936386068939a3760fe4 (diff) | |
download | hdf5-6eb021b68a8b46bbc89844713f014e6ba729ca7d.zip hdf5-6eb021b68a8b46bbc89844713f014e6ba729ca7d.tar.gz hdf5-6eb021b68a8b46bbc89844713f014e6ba729ca7d.tar.bz2 |
Sync with develop (#2871)
Diffstat (limited to 'release_docs/HISTORY-1_0-1_8_0.txt')
-rw-r--r-- | release_docs/HISTORY-1_0-1_8_0.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release_docs/HISTORY-1_0-1_8_0.txt b/release_docs/HISTORY-1_0-1_8_0.txt index 3669f4d..333d0dc 100644 --- a/release_docs/HISTORY-1_0-1_8_0.txt +++ b/release_docs/HISTORY-1_0-1_8_0.txt @@ -1407,7 +1407,7 @@ Known Problems for your installation. Observe that the basic idea is to insert the script as the first item - on the command line which executes the the test. The script then + on the command line which executes the test. The script then executes the test and filters out the offending text before passing it on. |