projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c8702a) | patch
Fix normalization of author names in contrib/get-authors. (#4553)
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 3 Jun 2020 14:12:07 +0000 (07:12 -0700)
committerGitHub <noreply@github.com>
Wed, 3 Jun 2020 14:12:07 +0000 (09:12 -0500)
commit145b9367255d2925b6b4e43818e223b9186bcfad
treea2e33d47f674a4378a871844f5c61d6ae595b5fetree
parent6c8702ab5eb08466bf954e202241df39de680081commit | diff
Fix normalization of author names in contrib/get-authors. (#4553)
contrib/get-authors diff | blob | history