projects / hdr.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 3250de6 9acfb9d)
Finger id
authorThomas Pietrzak <thomas.pietrzak@gmail.com>
Wed, 24 Nov 2021 10:00:02 +0000 (11:00 +0100)
committerThomas Pietrzak <thomas.pietrzak@gmail.com>
Wed, 24 Nov 2021 10:00:02 +0000 (11:00 +0100)

Trivial merge
Habilitation