doc: dev: mail.gnu.org became lists.gnu.org.
authorng0 <ng0@infotropique.org>
Sun, 20 Aug 2017 23:22:45 +0000 (23:22 +0000)
committerng0 <ng0@infotropique.org>
Sun, 20 Aug 2017 23:22:45 +0000 (23:22 +0000)
commitcd24fb1e0bb871e44327d9537969d81455ef4008
treec70ce3f364ad701bd65aa4f86e9a924d7117c0c5
parentd0afb770f34c2fb1aa2c13df69003caf2baa4e2d
doc: dev: mail.gnu.org became lists.gnu.org.
doc/chapters/developer.texi