diff options
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 792736cb..761b4da8 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 |