Skip to content

Conversation

@strub
Copy link
Member

@strub strub commented Sep 25, 2024

Fix #181 (but for the last point: see #621)

@strub strub added enhancement chore Ungrateful tasks that need done but that nobody wants to do labels Sep 25, 2024
@strub strub requested a review from fdupress September 25, 2024 06:05
@strub strub self-assigned this Sep 25, 2024
@strub strub enabled auto-merge (rebase) September 25, 2024 11:22
@strub strub merged commit 5a36b1b into main Sep 25, 2024
@strub strub deleted the fix-181 branch September 25, 2024 19:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Ungrateful tasks that need done but that nobody wants to do enhancement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

module printing issues: fmap, procedure assignment, local variables/procedures

3 participants