Is dev build 3142 the same as release build 3143?

[tripshock]

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?

[wbond]

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.