diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2017-11-24 13:40:17 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2017-11-24 13:40:17 +0200 |
| commit | cedf898bfd8d45a028d087a512fe7c1c789ee6dc (patch) | |
| tree | cf68cd058aa8d07b38793b84d8253e178a0d1922 /doc/ChangeLog | |
| parent | 152dbfa7b8b695112d9e02be8ba99ef3b8aa75a0 (diff) | |
| parent | 1212cdf9eecdec794f2bd608165762a8b2d59ffb (diff) | |
| download | egawk-cedf898bfd8d45a028d087a512fe7c1c789ee6dc.tar.gz egawk-cedf898bfd8d45a028d087a512fe7c1c789ee6dc.tar.bz2 egawk-cedf898bfd8d45a028d087a512fe7c1c789ee6dc.zip | |
Merge branch 'master' into feature/fix-comments
Diffstat (limited to 'doc/ChangeLog')
| -rw-r--r-- | doc/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index 30e811e3..3d0c232f 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,8 @@ +2017-11-24 Arnold D. Robbins <arnold@skeeve.com> + + * gawkworkflow.texi (General practices): Use correct option + --delete for deleting a branch upstream, instead of -d. + 2017-11-21 Andrew J. Schorr <aschorr@telemetry-investments.com> * gawktexi.in (Setting the Rounding Mode): Fix the description |