I'm on the dev channel and still on build 3142. Will 3143 be published to the dev channel as well, or is it just the same as 3142?
No, it is not the same. There are some slight tweaks. We are planning on doing a dev build in the next day or so to pull in the minor changes. They involve the CVE fix and some high DPI tweaks.