Fix Matern Grads#478

Merged

willtebbutt merged 4 commits intomasterfrom

wct/fix-matern-grads

Oct 3, 2022

Commits on Sep 28, 2022

gitignore dev folder
Will Tebbutt
committed
Fix up matern
Will Tebbutt
committed
Bump patch
Will Tebbutt
committed
Avoid promotion with irrational
Will Tebbutt
committed