tree ac279517e065669ec6af7551c18e6e991b38526c
parent 77cddbc97871a415f0693dc251132aee070f8828
author Davide Pesavento <davidepesa@gmail.com> 1549252420 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1549324325 -0500

core: use ndn-cxx's getRandomNumberEngine()

Change-Id: I3b5b3ac5238d47ac14481b21d0303c63d0c93b56