Code

git-gui: Revert "Don't modify CREDITS-FILE if it hasn't changed."