Skip to content
This repository has been archived by the owner on Jul 1, 2021. It is now read-only.

Issue 13 #239

Open
wants to merge 8 commits into
base: master
Choose a base branch
from
Open

Issue 13 #239

wants to merge 8 commits into from

Conversation

eschkufz
Copy link
Contributor

Overview

Description:

Related issue(s) (if applicable): Fixes #13

Checklist (Definition of Done):

  • There are no TODOs left in the code
  • Change is covered by automated tests

Signed-off-by: eric schkufza <eric.schkufza@gmail.com>
Signed-off-by: eric schkufza <eric.schkufza@gmail.com>
Signed-off-by: eric schkufza <eric.schkufza@gmail.com>
Signed-off-by: eric schkufza <eric.schkufza@gmail.com>
Signed-off-by: eric schkufza <eric.schkufza@gmail.com>
Signed-off-by: eric schkufza <eric.schkufza@gmail.com>
@vmwclabot
Copy link

@eschkufz, you must sign every commit in this pull request acknowledging our Developer Certificate of Origin before your changes are merged. This can be done by adding Signed-off-by: John Doe <john.doe@email.org> to the last line of each Git commit message. The e-mail address used to sign must match the e-mail address of the Git author. Click here to view the Developer Certificate of Origin agreement.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Typechecker interaction with subscripts.
2 participants