Skip to content

Merge RichFuture into future branch

Christopher Rob Jones requested to merge RichFuture into future

This just a few minor changes I have made whilst developing the Rich future algorithms.

Merge request reports