Thank you. I have added it to the branch. By the way, I noticed that there is no "latest" tag on the Docker image. Perhaps the voidlinux people could add this.
Also, for sending patches here in the group, it's best to use "git commit" followed by "git format-patch". On Saturday, July 11, 2020 at 6:14:00 AM UTC-7, Nicolo' wrote: > > With this, we should get close to the list of explicitly installed > packages on my machine (attached). > > -- 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 sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/ca20a7dd-e7e9-49f7-92bc-a1f3b7c62cb6o%40googlegroups.com.
