Discuss reducing complexity of headers

14 views
Skip to first unread message

Albin Ahlbäck

unread,
Apr 27, 2022, 10:49:19 AM4/27/22
to flint...@googlegroups.com
Hello,

As noted by Fredrik in Issue #1070, there is an issue with bloated
headers. It would be nice to discuss this problem in a meeting.

Would it be possible to discuss this any time soon?

Best,
Albin

Bill Hart

unread,
Apr 27, 2022, 10:50:44 AM4/27/22
to flint-devel
We are planning a Flint Fridays this week, if everyone is available,
but we won't know until about 24 hours in advance.

We'll announce it on the list if it is happening.

Bill.
> --
>
> ---
> You received this message because you are subscribed to the Google Groups "flint-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to flint-devel...@googlegroups.com.
> To view this discussion on the web, visit https://groups.google.com/d/msgid/flint-devel/ec7e0473-3735-d5a9-1366-bafbc5598cb2%40gmail.com.
Reply all
Reply to author
Forward
0 new messages