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