David Kastrup:
Doc string fix in wake of issue 4426
https://codereview.appspot.com/262310043
Passes make, make check and a full make doc.
Patch on countdown for September 11th
Patch counted down - please push
author David Kastrup dak@gnu.org Fri, 4 Sep 2015 20:07:40 +0000 (22:07 +0200) committer David Kastrup dak@gnu.org Fri, 11 Sep 2015 07:33:16 +0000 (09:33 +0200) commit 6afbd8ef9bdea4f7466e5f4fb703d3285bdfe143
Passes make, make check and a full make doc.
Patch on countdown for September 11th
Patch counted down - please push
author David Kastrup dak@gnu.org
Fri, 4 Sep 2015 20:07:40 +0000 (22:07 +0200)
committer David Kastrup dak@gnu.org
Fri, 11 Sep 2015 07:33:16 +0000 (09:33 +0200)
commit 6afbd8ef9bdea4f7466e5f4fb703d3285bdfe143