Skip to content

Logging element draft #15

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
FrogOfJuly wants to merge 10 commits into from
Closed

Logging element draft #15

FrogOfJuly wants to merge 10 commits into from

Conversation

@FrogOfJuly
Copy link
Collaborator

@FrogOfJuly FrogOfJuly commented Oct 17, 2022 •
edited
Loading

This is an illustration of the third option mentioned in #13

@FrogOfJuly
Copy link
Collaborator Author

FrogOfJuly commented Oct 22, 2022 •
edited
Loading

I replaced the majority of CtElements to LogEleemts where they were used for logging. There are some places where it is not very conceptial: one, two, three. Everything else works fine.

@FrogOfJuly FrogOfJuly self-assigned this Oct 24, 2022
@alcides
Copy link
Collaborator

alcides commented Nov 30, 2024

I've brought this branch up to date with master.

@alcides alcides changed the base branch from field_updates to main November 30, 2024 11:09
@alcides alcides closed this Nov 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@FrogOfJuly FrogOfJuly

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@FrogOfJuly @alcides