[PATCH] misc cleanups and typo fixes

4 views
Skip to first unread message

Qian Yun

unread,
Jun 23, 2023, 3:47:20 AM6/23/23
to fricas-devel
Hi, I'd like to include this misc cleanups and typo fixes patch before
release, please review.

- Best,
- Qian
misc_cleanup.patch

Waldek Hebisch

unread,
Jun 23, 2023, 8:04:35 AM6/23/23
to fricas...@googlegroups.com
On Fri, Jun 23, 2023 at 03:47:13PM +0800, Qian Yun wrote:
> Hi, I'd like to include this misc cleanups and typo fixes patch before
> release, please review.

Thanks, please go on.

--
Waldek Hebisch
Reply all
Reply to author
Forward
0 new messages