Merge pull request #31298 from timokau/sage-fix

sage: 6.8 -> 8.0
2017-11-06 01:25:28 +00:00
parent 3a53ddd693 85eac6ff73
commit 6475fa9b25
10 changed files with 244 additions and 59 deletions
@@ -628,6 +628,7 @@
  ThomasMader = "Thomas Mader <thomas.mader@gmail.com>";
  thoughtpolice = "Austin Seipp <aseipp@pobox.com>";
  timbertson = "Tim Cuthbertson <tim@gfxmonk.net>";
+  timokau = "Timo Kaufmann <timokau@zoho.com>";
  titanous = "Jonathan Rudenberg <jonathan@titanous.com>";
  tnias = "Philipp Bartsch <phil@grmr.de>";
  tohl = "Tomas Hlavaty <tom@logand.com>";