| commit | 82230f952dd9d1a7560bd1f41088fbd21ba78632 | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Mon Jan 25 12:37:02 2010 +0000 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Mon Jan 25 12:37:02 2010 +0000 |
| tree | 3a28d5b71b66cf0c1d3bf02b939725a542d6bfb0 | |
| parent | 1fafaab5e5dac8e25c22c7b3d76ef8d3d3a967f0 [diff] |
Add a news entry for the functions verify and vereq that have been removed in r77729 and r77731