| commit | 345379a7f8ae2d8f5151eacc0eaa9f3902e76c8e | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Wed Nov 16 09:54:19 2011 +0200 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Wed Nov 16 09:54:19 2011 +0200 |
| tree | 97897f38ac8ada7b3c3e9b3f4a3d48937f2e0c1e | |
| parent | 11060a4a48811f7f13d8f71b5ece2acda112b6de [diff] |
#13406: correct the error message in check_warnings too.