Merge branch 'production' into merge-prod-into-main

This commit is contained in:
ggurdin 2025-11-07 09:41:02 -05:00
commit 7a3770ac06
No known key found for this signature in database
GPG key ID: A01CB41737CBB478
2 changed files with 9 additions and 1 deletions

View file

@ -143,6 +143,14 @@ class CourseChatsController extends State<CourseChats>
continue;
}
// If any user has archived the activity, don't show it.
// It's possible for users to finish an activity and then for some of the
// users to leave, but if the activity was archived by anyone, that means
// it was full at some point.
if (summary.activityRoles.roles.values.any((role) => role.isArchived)) {
continue;
}
sessionsMap[activity] ??= [];
sessionsMap[activity]!.add(
ExtendedSpaceRoomsChunk(

View file

@ -6,7 +6,7 @@ description: Learn a language while texting your friends.
# Pangea#
publish_to: none
# On version bump also increase the build number for F-Droid
version: 4.1.15+2
version: 4.1.15+3
environment:
sdk: ">=3.0.0 <4.0.0"