Looking at our roboRio home page, our DNS entry is different from our mDNS entry.
The DNS entry reads: roboRIO-313-FRC.frc-robot.local
The mDNS entry reads: roboRIO-313-FRC.local
mDNS works fine and pings, but the discrepancy worries me.
Any thoughts on if this is ok, why it would be configured this way, and if it’s appropriate?