Remove playpen

diff --git a/to_production.txt b/to_production.txt
index 89b95d8ea326b48fe5ea128d8dc1ea6f78cfec7c..cbeaca3ed86cc49345286664011b4f43b2f9619f 100644 (file)
--- a/to_production.txt
+++ b/to_production.txt
@@ -4,10 +4,6 @@ ofl/comicrelief # https://github.com/google/fonts/pull/9075
 ofl/coralpixels # https://github.com/google/fonts/pull/9274
 ofl/exile # https://github.com/google/fonts/pull/9281
 ofl/kanchenjunga # https://github.com/google/fonts/pull/8431
-ofl/playpensansarabic # https://github.com/google/fonts/pull/9188
-ofl/playpensansdeva # https://github.com/google/fonts/pull/9304
-ofl/playpensanshebrew # https://github.com/google/fonts/pull/9187
-ofl/playpensansthai # https://github.com/google/fonts/pull/9198
 ofl/tagesschrift # https://github.com/google/fonts/pull/8735
 
 # Upgrade
@@ -18,7 +14,6 @@ ofl/iansui # https://github.com/google/fonts/pull/9296
 ofl/librebaskerville # https://github.com/google/fonts/pull/9247
 ofl/notosansmath # https://github.com/google/fonts/pull/7819
 ofl/notosansthailooped # https://github.com/google/fonts/pull/9090
-ofl/playpensans # https://github.com/google/fonts/pull/9157
 ofl/robotomono # https://github.com/google/fonts/pull/9282
 
 # Designer profile