Bug 1672159 - remove settingsCHange.dtd which is unneeded since bug 1668284. r=darktrojan DONTBUILD default tip
authorMagnus Melin <mkmelin+mozilla@iki.fi>
Wed, 21 Oct 2020 13:58:06 +0300
changeset 13679 11208d04b9409e36a5525bb8b5cadcb6e6315e59
parent 13678 801144d0c0f63cabca035e313e20cd272e2e916a
push id283
push userflodolo@mozilla.com
push dateThu, 22 Oct 2020 06:18:09 +0000
reviewersdarktrojan
bugs1672159, 1668284
Bug 1672159 - remove settingsCHange.dtd which is unneeded since bug 1668284. r=darktrojan DONTBUILD X-Channel-Repo: comm-central X-Channel-Converted-Revision: dbee66d2200cc473148022f79c8519dd2f03aaf5 X-Channel-Repo: releases/comm-beta X-Channel-Revision: f69d50faf4528fffefa8ce4ac49debd22c2f9876 X-Channel-Repo: releases/comm-release X-Channel-Revision: d7bed2318efd8d0dccb8eecb37af8ee9d0e0ab17 X-Channel-Repo: releases/comm-esr78 X-Channel-Revision: eaab6105af719c5469d2c93b5e289e1f93506237