diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2012-07-01 17:32:03 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2012-07-02 11:00:13 +0200 |
| commit | bd5dea489bd02caa503ba57e1b799c90fa409fe9 (patch) | |
| tree | 5ffbbbc595e91dd2e3389c49d95dcbbb1a7cf4fd /THANKS | |
| parent | 2874f66017b7bfae256e85af84689d00ecc418ab (diff) | |
doc: Remove reference to `closure?', now deprecated.
Fixed <http://bugs.gnu.org/11611>.
* doc/ref/api-procedures.texi (Procedure Properties): Remove reference
to `closure?'. Suggested by David Jaquay <djaquay@gmail.com>.
Diffstat (limited to 'THANKS')
| -rw-r--r-- | THANKS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -88,6 +88,7 @@ For fixes or providing information which led to a fix: Peter Ivanyi Wolfgang Jaehrling Aubrey Jaffer + David Jaquay Paul Jarc Steve Juranich Richard Kim |