diff options
author | Chris Marusich <[email protected]> | 2021-07-05 21:08:05 -0700 |
---|---|---|
committer | Chris Marusich <[email protected]> | 2021-07-05 21:11:13 -0700 |
commit | 586136d12745eeddccd05d80dbd21959595b45d1 (patch) | |
tree | d5ee73df51cedd157bd88631e6d8ac185dd5df8e /gnu | |
parent | 38bcef1c3b4f67abb314368d2248e08026219de3 (diff) |
doc: Change Debbugs usertags user to "guix".
* doc/contributing.texi (Debbugs Usertags): Change the user for usertags from
"[email protected]" to "guix". This was discussed on the guix-devel email
list: <https://lists.gnu.org/archive/html/guix-devel/2021-06/msg00212.html>.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions