Merge pull request #88466 from puzzlewolf/gazebo_remove

gazebo: remove
2020-06-04 12:47:42 +02:00
parent fac1d3c4a7 3b26ba8b91
commit a15262665a
12 changed files with 2 additions and 247 deletions
@@ -6308,10 +6308,6 @@
    githubId = 23097564;
    name = "Nora Widdecke";
  };
-  pxc = {
-    email = "patrick.callahan@latitudeengineering.com";
-    name = "Patrick Callahan";
-  };
  pyrolagus = {
    email = "pyrolagus@gmail.com";
    github = "PyroLagus";