giovanni 98d5020dae update to 5.02 ...

ok jasper@ on a very similar diff

2017-05-16 17:01:35 +00:00

..

pkg

…

distinfo

…

Makefile

…