Hello, Why do we have commits on top of develop after the release commits? Namely
commit 52a81cbd161ef4d5895325657c88a68590ea1d3b Author: Dima Pasechnik <[email protected]> Date: Fri Feb 24 21:15:42 2023 +0000 Revert "add missing # optional - gap3" This reverts commit c017a6a3d68f0aca8cb63ceba52fe451a64881a3. commit c017a6a3d68f0aca8cb63ceba52fe451a64881a3 Author: Dima Pasechnik <[email protected]> Date: Fri Feb 24 11:57:32 2023 +0000 add missing # optional - gap3 to let CI pass Best Vincent -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAGEwAAkF50jNxVth6io%2BCErWu9mWFW4L2D%2BERqQVcNf7aPjp1A%40mail.gmail.com.
