Checking if problem with Boards Manager updates

As you know you periodically get a request when the IDE is open that you should update boards using Boards Manager.

This time, however, I think there is a problem with the Arduino AVR Boards option.

After trying to update I noticed the following in the IDE log "Could not find boards.txt in C:\Users\BigG\AppData\Local\Arduino15\packages\arduino\hardware\avr\1.6.19. Is it pre-1.5?"

That is because when I checked my computer the boards.txt file is already in a folder 1.6.20

What is the best way to resolve as the version in Boards Manager still on 1.6.19?

Thanks