From 883025d5121f31746373c44203f7183a4ffe2bc3 Mon Sep 17 00:00:00 2001
From: Joshua Bell <jsbell@chromium.org>
Date: Mon, 22 Oct 2018 12:10:33 -0700
Subject: [PATCH] LockGrantedCallback arg should be nullable. Fixes #51

---
 index.bs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.bs b/index.bs
index 88922ba..f7f0b33 100644
--- a/index.bs
+++ b/index.bs
@@ -326,7 +326,7 @@ interface LockManager {
   Promise<LockManagerSnapshot> query();
 };
 
-callback LockGrantedCallback = Promise<any> (Lock lock);
+callback LockGrantedCallback = Promise<any> (Lock? lock);
 
 enum LockMode { "shared", "exclusive" };