Index: trunk/data/validator/deprecated.mapcss
===================================================================
--- trunk/data/validator/deprecated.mapcss	(revision 10095)
+++ trunk/data/validator/deprecated.mapcss	(revision 10100)
@@ -827,2 +827,9 @@
   suggestAlternative: "...";
 }
+
+/* #12708 */
+*[vending=news_papers] {
+  throwWarning: tr("{0} is deprecated", "{0.tag}");
+  suggestAlternative: "vending=newspapers";
+  fixAdd: "vending=newspapers";
+}