tree 402217e3746eaa3d2b6a09fb155c67168e655315
parent 42eb9e2e919b835a382fd603c06a7e2d0a8e3fb6
author Pier Luigi <pierventre@hotmail.com> 1486157661 -0800
committer Charles Chan <charles@onlab.us> 1486405533 +0000

Small fixes to SR

Change-Id: I4dfdbea082048bd48ea9be0a3bfea381ca395962