tree 4f44014f26ddb9355cfb18bef1cc61191b2f8ca7
parent bc76da1fa42bf801307ad243d50584a1f8c8dbf6
author Davide Pesavento <davide.pesavento@lip6.fr> 1531853355 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1531864866 -0400

encoding+util: ensure move constructors are properly declared

This also fixes a race condition in scheduler::EventId::operator bool()

Change-Id: I468f0c46039a3d1a38c69c419ae45b4445d8205a
Refs: #3414