tree b366532049b2357c4f807bad79e1662eb3950997
parent 8108a8863d445d7543621d2ed593b7bfefd720a4
author David Ostrovsky <david@ostrovsky.org> 1614289082 +0100
committer David Ostrovsky <david@ostrovsky.org> 1614323968 +0100

Fix minor JavaScript issues

Change-Id: Ied3e8d30d79c64ba9280725274bc6d91a3048496