0.13.1-PRE-37
Pre-release
Pre-release
github-actions
released this
24 Oct 13:08
·
16 commits
to main
since this release
Commits
- e81b289: set defaults (Stefan Wiedemann) #37,#35
- 0477f8e: update mapping dep (Stefan Wiedemann) #37
- 6d83fa8: Merge branch 'main' into make-dome-working (Stefan Wiedemann) #37
- afd49fb: Merge branch 'main' into make-dome-working (Stefan Wiedemann) #37
- eccba30: add redis as option (Stefan Wiedemann) #37
- 7fd9bbd: Merge eccba30 into 05e7eaf (Stefan Wiedemann)