Index: trunk/src/org/openstreetmap/josm/data/Preferences.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 16296)
+++ trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 16297)
@@ -88,4 +88,5 @@
         "remotecontrol.https.enabled", /* remove entry after Dec. 2019 */
         "remotecontrol.https.port", /* remove entry after Dec. 2019 */
+        "curves.circlearc.angle-separation" // see #19076
     };