tree 2f2dea46cf858a6b497698f10e97069a1e8ddb0e
parent 75c56016a9f63e4777584b9546272705a16abb9f
author Davide Pesavento <davidepesa@gmail.com> 1569085209 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1569181917 -0400

interest: minor cleanups

Refs: #4567
Change-Id: I4e2428cc7f64cc9fceaae5c8f928fe4fc52e4cc7