There's a LOT of bugs in 5.4.2- My own I've encountered:
FortiExtender upgrade from FMG does not work
IPsec VPN monitor optimistically shows *every* tunnel is up, regardless of status
5.0 ADOM Policies can't be viewed by interface or freeform searched
just of the top of my head.
I'm really keen on getting that blank policy push bug fixed... I'm 175 devices deep in a 6,500 device rollout and that's the kind of bug that'd make life miserable with that many devices.
Security Analyst, Network Engineer, Part-Time Everything Else