Skip to content
This repository has been archived by the owner on Dec 2, 2024. It is now read-only.

Remove gratuitous log file #525

Merged
merged 2 commits into from
Jun 22, 2022
Merged

Remove gratuitous log file #525

merged 2 commits into from
Jun 22, 2022

Conversation

andreabedini
Copy link
Contributor

It seems it was committed by accident in 92021ae

@andreabedini andreabedini requested a review from koslambrou June 21, 2022 01:46
@koslambrou koslambrou merged commit f0548d7 into main Jun 22, 2022
@koslambrou koslambrou deleted the andrea/remove-gratuitous-file branch June 22, 2022 12:46
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants