add logo #75

Merged

muellerr merged 3 commits from add-logo into main 2023-09-06 21:59:43 +02:00

Conversation 0 Commits 3 Files Changed 3

+4

muellerr commented 2023-09-06 21:59:22 +02:00

Owner

Copy Link

Copy Source

No description provided.

muellerr added 3 commits 2023-09-06 21:59:23 +02:00

lets try this out 3d9d486027

use correct link c2ebe1bd55

add credit c39a2d084b

muellerr added this to the satrs v0.1.0 milestone 2023-09-06 21:59:28 +02:00

muellerr merged commit 1d90c3058b into main 2023-09-06 21:59:43 +02:00

muellerr deleted branch add-logo 2023-09-06 21:59:43 +02:00

muellerr referenced this issue from a commit 2023-09-06 21:59:44 +02:00

Merge pull request 'add logo' (#75) from add-logo into main

Sign in to join this conversation.

Reviewers

No Reviewers

Labels

Clear labels

api

Non-Breaking API change

b-api

Breaking API change

bug

Something is not working

concepts

Conception and ideas for new features

duplicate

This issue or pull request already exists

enhancement

New feature

help wanted

Need some help

invalid

Something is wrong

question

More information is needed

wontfix

This won't be fixed

No labels

Milestone

No items

No Milestone satrs v0.1.0

Projects

Clear projects

No projects

Assignees

Clear assignees

ahinkel (Andy Hinkel) frenzikowski jenkins_buildfix lkoester meggert (Marius Eggert) meierj (Jakob Meier) mhess mohr (Ulrich Mohr) muellerr (Robin Müller) nehlichp (Paul Nehlich) steinertm (Michael Steinert) tbaumgartl (Tobias Baumgartl)

No Assignees

1 Participants

Notifications

Subscribe

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: rust/sat-rs#75