diff options
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -1,3 +1,9 @@ +2021-01-09 Darshit Shah <darnir@gnu.org> + + Allow setting CVS username for gnu-web-doc-update. + * build-aux/gnu-web-doc-update: Introduce new option --user to set the + name of the user on Savannah, when it doesn't match $USER. + 2021-01-09 Bruno Haible <bruno@clisp.org> exp* tests: Work around clang 6.0.1 optimization bugs on x86. |