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

Remove compilation date #52

Merged
merged 1 commit into from
Sep 22, 2022
Merged

Remove compilation date #52

merged 1 commit into from
Sep 22, 2022

Conversation

ccremer
Copy link
Contributor

@ccremer ccremer commented Sep 22, 2022

Summary

It seems unused and irrelevant

Checklist

  • Categorize the PR by setting a good title and adding one of the labels:
    bug, enhancement, documentation, change, breaking, dependency
    as they show up in the changelog
  • Update tests.
  • Link this PR to related issues.

It seems unused
@ccremer ccremer added the change label Sep 22, 2022
@ccremer ccremer merged commit a2a7e61 into master Sep 22, 2022
@ccremer ccremer deleted the comp-date branch September 22, 2022 11:25
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant