> Am 31.03.2020 um 23:25 schrieb Matthias Köppe <matthiaskoe...@gmail.com>: > > That is, the file `local/bin/sage-starts` is not found. This is with CentOS > 7.7. > > > This script was moved in https://trac.sagemath.org/ticket/23769 > <https://trac.sagemath.org/ticket/23769> It looks like the patchbot needs to be updated for this. I will send a pull request, shortly.
-- 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/6A3505A7-8C13-4398-A52D-3556DD512652%40gmail.com.