Skip to content

Add HEAD proceedsReport#549

Merged
gionn merged 1 commit intomasterfrom
proceeds-report-head
Jul 30, 2020
Merged

Add HEAD proceedsReport#549
gionn merged 1 commit intomasterfrom
proceeds-report-head

Conversation

@malteo
Copy link
Copy Markdown
Member

@malteo malteo commented Jul 30, 2020

@malteo malteo requested a review from gionn July 30, 2020 15:48
@gionn gionn merged commit 9f844e1 into master Jul 30, 2020
@gionn gionn deleted the proceeds-report-head branch July 30, 2020 16:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants