Skip to content

Conversation

@JervenBolleman
Copy link
Collaborator

in pull request #38.

This does not include the probabilistic extension which is a separate part of work.

It was discussed on the mailing list and no objections received.

https://groups.google.com/forum/#!topic/faldo/ic664skvzr0

@JervenBolleman JervenBolleman merged commit 1c14660 into master Dec 13, 2018
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