Davide Prati
Davide Prati
Please, provide more information about the problem that you are having, at least link the page you are referring to.
Hello @tpltnt @bilderbuchi, what's the status on this PR? is it obsolete and can be closed or does it need more work?
;) @tpltnt @ofZach @mikewesthad do you think it make sense to close it? It has ~3 years and I doubt we will have time to check the conflict files 1...
@tpltnt is this PR still actual?
To me it would be ok to use `auto` where it is possible, it make things easier from a beginner point of view. Are there any opinions against merging this...
@arturoc @tpltnt , what's the status of this PR?
@OmerShapira it would be nice if you can have a look ;)
Also, the format of the formula it is broken since a while now. @OmerShapira Which tool did you use to format it? is it possible for you to fix it?...
ping @OmerShapira
I think it makes sense to remove the broken formulas. @arturoc ?