Bug fix time marginalisation
Remove an extra time included in the time marginalised likelihood.
Remove an extra time included in the time marginalised likelihood.
approved this merge request
approved this merge request
mentioned in commit 84b985f4
merged