diff options
| author | Hans Dedecker <dedeckeh@gmail.com> | 2019-10-04 20:38:46 +0200 |
|---|---|---|
| committer | Hans Dedecker <dedeckeh@gmail.com> | 2019-10-04 20:42:26 +0200 |
| commit | 27bf8abe69f3b048cbcbf9d2e796ecba5f0a42e7 (patch) | |
| tree | df605bccf53ff3fc6e6cb8ea9a9162d996f808c6 /tools/mpfr | |
| parent | 1ed5c1b14694424842527f34feb852bd65f00269 (diff) | |
| download | upstream-27bf8abe69f3b048cbcbf9d2e796ecba5f0a42e7.tar.gz upstream-27bf8abe69f3b048cbcbf9d2e796ecba5f0a42e7.tar.bz2 upstream-27bf8abe69f3b048cbcbf9d2e796ecba5f0a42e7.zip | |
firewall: update to latest git HEAD
daed0cf utils: fix resource leak
Signed-off-by: Hans Dedecker <dedeckeh@gmail.com>
Diffstat (limited to 'tools/mpfr')
0 files changed, 0 insertions, 0 deletions