tree 2ff6417503a2d3e3e65c172876078f6801ea4e17
parent c490212fb2a293c0594d9f097146bed4062700e1
author Davide Pesavento <davidepesa@gmail.com> 1552789874 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1552849482 -0400

ndn::util::scheduler => ndn::scheduler

Refs: #4883
Change-Id: I4049fdd424b6037b754b0d0a0e740667b82298e6