On Tuesday, August 11, 2020 at 9:04:01 AM UTC-7, Emmanuel Charpentier wrote: > > I do not know how to re-open a closed ticket... >
One doesn't. I'd suggest to use https://trac.sagemath.org/ticket/25363 (simple-prompt) for the things that need to be prepared on the sage side, and https://github.com/sagemath/sage-shell-mode/issues/53 for subsequent changes in sage-shell-mode. -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-release+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/e5b6a769-ad04-435d-be71-cd2eae5bafd0o%40googlegroups.com.