Skip to content

Comments

Trimmed serendipity#24

Closed
jmv2009 wants to merge 1 commit intofiredrakeproject:masterfrom
jmv2009:patch-3
Closed

Trimmed serendipity#24
jmv2009 wants to merge 1 commit intofiredrakeproject:masterfrom
jmv2009:patch-3

Conversation

@jmv2009
Copy link

@jmv2009 jmv2009 commented May 27, 2021

This is a version of Trimmed serendipity in one commit. Unfortunately all contributions of the original authors are not visible anyome. Only trivial changes were make to pass through flake.

Refer to #23 to first pull into the "TrimmedSerendipity" branch, whcih can then immediately be pulled into master.

The original #22 was not flake compatible yet.

@jmv2009 jmv2009 marked this pull request as draft May 27, 2021 19:16
This was referenced May 27, 2021
@rckirby
Copy link

rckirby commented Jun 29, 2022

handed by #22

@rckirby rckirby closed this Jun 29, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants