tree f0b36afaf7bbc855f90041d715894df470b8b8d9
parent 52c0e916dda8f5580319288367c5449de21f56a3
author Kenny Guy <kennyguy@google.com> 1505990444 +0100
committer Kenny Guy <kennyguy@google.com> 1505991641 +0100

Fix typo in Settings.BOOT_COUNT

Change-Id: Idc274d55e4c26584288455f8087776d0a8b930e5
Test: make docs