To be absolutely sure you would need to:
1. Convert the display's EDID into binary from hex:
00ffffffffffff004c2d090501000000
30120103801009780aee91a3544c9926
0f5054bdef80714f8100814081809500
950fb3000101023a801871382d40582c
4500a05a0000001e662150b051001b30
40703600a05a0000001e000000fd0018
4b1a5117000a202020202020000000fc
0053414d53554e470a2020202020016f
020327f14b901f041305140312202122
2309070783010000e2000fe305030167
030c001000b82d011d007251d01e206e
285500a05a0000001e011d00bc52d01e
20b8285540a05a0000001e011d801871
1c1620582c2500a05a0000009e011d80
d0721c1620102c2580a05a0000009e00
0000000000000000000000000000001d
2. Use an EDID decoding tool to verify it yourself. Some are available
in the Ubuntu archive, but also you can google for online EDID decoders.
** No longer affects: xrandr (Ubuntu)
--
You received this bug notification because you are a member of Ubuntu-X,
which is subscribed to xrandr in Ubuntu.
https://bugs.launchpad.net/bugs/1792167
Title:
Display size detected incorrectly
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/mutter/+bug/1792167/+subscriptions
_______________________________________________
Mailing list: https://launchpad.net/~ubuntu-x-swat
Post to : ubuntu-x-swat@lists.launchpad.net
Unsubscribe : https://launchpad.net/~ubuntu-x-swat
More help : https://help.launchpad.net/ListHelp
