Passed
Pull Request — master (#435)
by
unknown
04:52 queued 03:32
created

No notable changes

There were no notable changes in the changeset which was inspected.

5.28
▶   ± 0
Head
Christoph Krämer  
Merge 334ddc940d0febb3a31a6912eff90c7667fa76de into ad6bf167d6d5da20fdcabd6f338764afd9595c3c
2 more commits
Base
ArnoStiefvater  
Merge pull request #432 from Kraemii/log-target-is-finished