Update libraries.json

2026-04-28 18:12:14 +02:00 · 2018-11-13 21:31:36 +02:00
parent eb09bb6fec
commit db39532c45
1 changed files with 1 additions and 1 deletions
@@ -13,6 +13,6 @@
        "Programming"
    ],
    "maintainers": [
-        "Douglas Gregor <dgregor -at- cs.indiana.edu>"
+        "Peter Dimov <pdimov -at- pdimov.com>"
    ]
 }