I guess you can't login to Github web interface, right?
Can you still push tags to Github?
If so, please cherry-pick
https://github.com/fricas/fricas/commit/8ba0305330ea6001bbf92d182f75054cef8c49eb
to branch r1.3.10, do the tag and push to origin.
- Qian
On 1/10/24 19:34, Waldek Hebisch wrote:
On Wed, Jan 10, 2024 at 09:00:38AM +0800, Qian Yun wrote:
Well, many linux distros and many people's scripts probably points to
Github release page.
I can do the Github release page mirror of sourceforge download page,
do you agree?
OK.
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" 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/fricas-devel/3468de54-83c7-42c2-8b2a-717761d06bb4%40gmail.com.
