Conversation
Co-authored-by: Tobias Diez <[email protected]>
|
@vbraun - this is needed for the current develop with Flint 3 |
|
This is based on the branch of #36677 rebased over current develop |
|
probably the usual GH "autotarball" blues - upstream hadn't provided their own release tarball 😞 |
|
|
good catch. This must be the issue |
|
Documentation preview for this PR (built with commit 798f546; changes) is ready! 🎉 |
|
Looking good. |
followup to #36677 - fix to support flint 3