Skip to content

Fixes for Pintos Build and Test execution on Ubuntu 14.04

Ghost User requested to merge pending into master

Subject says it all.

Merge request reports