Review 22331

C. Thomas Tyler
Patched SDP mainline with bug fix to libcore.sh only.
Tip: Use n and p to cycle through the changes.