tree 5015ef5296d0ca1cbdb8a4784e0889e03fb1246c
parent 5560fd40ae5c2aa41e01550242abd15cf70eff8f
author Davide Pesavento <davide.pesavento@lip6.fr> 1520557611 -0500
committer Alex Afanasyev <aa@cs.fiu.edu> 1520621474 -0800

security: minor cleanup

Change-Id: Ibedce96a5f1fecc61149f354384194fae4fa39cb
Refs: #4542