Skip to content

GitLab

Projects
Groups
Snippets
Help

Loading...
Help
Sign in / Register

Project overview
Repository
Issues 116
Merge Requests 20
- Merge Requests 20
CI / CD
Operations
Analytics
Wiki
- Wiki
Members
- Members

Collapse sidebar

Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards

Iris
Iris
Merge Requests
!33

Merged

Opened Dec 06, 2016 by Dan Frumin @dfruminContributor

Update a comment in cmra_big_op.v

Overview 1
Commits 1
Changes 1

fixes a small typo in the comments

Assignee

Assign to

Reviewer

Request review from

None

Milestone

None

Assign milestone

Time tracking

Reference: iris/iris!33

Source branch: patch-1

Revert this merge request

This will create a new commit in order to revert the existing changes.

Revert in branch

Switch branch

A new branch will be created in your fork and a new merge request will be started.

Cherry-pick this merge request

Pick into branch

Switch branch

A new branch will be created in your fork and a new merge request will be started.