Skip to content
This repository has been archived by the owner on Oct 9, 2019. It is now read-only.

Mara repos hrim #57

Merged
merged 2 commits into from
Apr 25, 2019
Merged

Mara repos hrim #57

merged 2 commits into from
Apr 25, 2019

Conversation

rkojcev
Copy link
Contributor

@rkojcev rkojcev commented Apr 25, 2019

use the latest release of HRIM

@rkojcev rkojcev requested a review from LanderU April 25, 2019 10:06
@LanderU
Copy link
Contributor

LanderU commented Apr 25, 2019

LGTM!

@LanderU LanderU merged commit 225074f into master Apr 25, 2019
@LanderU LanderU deleted the mara_repos_hrim branch April 25, 2019 10:09
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants