Write Access to RV-Install

[pdaian]

I cannot push the final key commit as I do not have access to this project.

@grosu please fix.

[grosu]

Fixed.

Grigore

---

From: Philip Daian [notifications@github.com]
Sent: Saturday, September 20, 2014 10:12 PM
To: runtimeverification/rv-install
Cc: Rosu, Grigore
Subject: [rv-install] Write Access to RV-Install (#4)

I cannot push the final key commit as I do not have access to this project.

@grosuhttps://github.com/grosu please fix.

—
Reply to this email directly or view it on GitHubhttps://github.com//issues/4.