Skip to content

deckard: update to recent git head

Richard Muzik requested to merge feature/deckard-update-git-head into develop

I am not sure for what we have this package. I was unable to find for what it is used here. Maybe we might drop the package. For now I prepared the update if we decide, that we do not need to drop this.

Merge request reports