Maintenance will be performed on,,, and on the morning of Tuesday 11th August 2020, starting at approximately 9am PDT. It is expected to take around 20 minutes and there will be a short period of downtime (less than five minutes) towards the end of the maintenance window. Please direct any comments, questions, or concerns to

Commit bd6af56b authored by Reinhard Prix's avatar Reinhard Prix

mailmap: attempt to get my CVS id recognized by git accounting

Original: d0045d7aa6b1436892a43ea8f304edb314326372
parent cbf2914a
......@@ -6,3 +6,4 @@ Ruslan Vaulin <>
Sebastian Khan <>
Stephen Privitera <>
Yan Wang <>
Reinhard Prix <> reinhard <reinhard>
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment