Skip to content

Fix/541 - #543

Closed
HLWiencko wants to merge 2 commits into
dib-lab:masterfrom
HLWiencko:fix/541
Closed

HLWiencko wants to merge 2 commits into
dib-lab:masterfrom
HLWiencko:fix/541

Conversation

@HLWiencko

Copy link
Copy Markdown
Contributor

Removed the extra bit from the Makefile that was included by accident.

@ged-jenkins

Copy link
Copy Markdown

Can one of the admins verify this patch?

1 similar comment
@ged-jenkins

Copy link
Copy Markdown

Can one of the admins verify this patch?

@mr-c

mr-c commented Jul 22, 2014

Copy link
Copy Markdown
Contributor

@timiat You can update an earlier pull request by adding more commits to the existing branch and pushing. I'm going to close this in favor of updating #541

@mr-c mr-c closed this Jul 22, 2014
@mr-c

mr-c commented Jul 22, 2014

Copy link
Copy Markdown
Contributor

We will update our documentation to address our oversight.

@ged-jenkins

Copy link
Copy Markdown

Can one of the admins verify this patch?

1 similar comment
@ged-jenkins

Copy link
Copy Markdown

Can one of the admins verify this patch?

@ctb

ctb commented Jul 22, 2014

Copy link
Copy Markdown
Member

done.

@mr-c mr-c modified the milestone: 1.2 Release Sep 2, 2014
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.

4 participants