Skip to content

Comments

Merge changes back into dataramblers#1

Open
Kordishal wants to merge 22 commits intodataramblers:masterfrom
Kordishal:master
Open

Merge changes back into dataramblers#1
Kordishal wants to merge 22 commits intodataramblers:masterfrom
Kordishal:master

Conversation

@Kordishal
Copy link

No description provided.

@tobinski
Copy link

For me ok

@sschuepbach sschuepbach self-assigned this Aug 31, 2018
Signed-off-by: Sebastian Schüpbach <sebastian.schuepbach@unibas.ch>
…earch

Signed-off-by: Sebastian Schüpbach <sebastian.schuepbach@unibas.ch>
Signed-off-by: Sebastian Schüpbach <sebastian.schuepbach@unibas.ch>
Signed-off-by: Sebastian Schüpbach <sebastian.schuepbach@unibas.ch>
Signed-off-by: Sebastian Schüpbach <sebastian.schuepbach@unibas.ch>
Signed-off-by: Sebastian Schüpbach <sebastian.schuepbach@unibas.ch>
@sschuepbach
Copy link
Member

I just made some bugfixing and added a couple of minor improvements (e.g. updating the README). It should now run again. Does somebody else want to check?

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.

3 participants