gerritbot added a comment. Change 261359 merged by jenkins-bot: Fixes: Navigation does not update CodeMirror edit box in WDQS GUI
https://gerrit.wikimedia.org/r/261359 TASK DETAIL https://phabricator.wikimedia.org/T122380 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: Jonas, gerritbot Cc: gerritbot, Aklapper, Smalyshev, jkroll, Wikidata-bugs, Jdouglas, aude, Deskana, Manybubbles, Mbch331 _______________________________________________ Wikidata-bugs mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
