Skip to content
GitLab
Explore
Sign in
Fixes for Pintos Build and Test execution on Ubuntu 14.04
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Fixes for Pintos Build and Test execution on Ubuntu 14.04
Ghost User
requested to merge
pending
into
master
Oct 20, 2015
Overview
0
Commits
5
Pipelines
0
Changes
Subject says it all.
Merge request reports
Loading