github-actions[bot]
commented
4 years ago 🎉 Gute Arbeit! Du hast dieses Issue erfolgreich umgesetzt. Jetzt kannst du diesen Pull Request mergen. Auf dem bearbeiteten Issue gibt es noch weitere Schritte, die du befolgen sollst. Nachdem du diese Schritte absolviert hast solltest du auf der Issue Seite ein weiteres Issue finden. Das kann eventuell auch einen Moment dauern, keine Panik. Viel Spaß bei der Bearbeitung des neuen Issues. 👍 Gib folgende Antwort bei open.hpi.de im Quiz ein, um die Punkte für diese Aufgabe zu erhalten: r2de
Add some Keyfacts
Fixes: #5