diff options
| author | Florian Dold <florian.dold@gmail.com> | 2018-04-09 00:20:54 +0200 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2018-04-09 00:20:54 +0200 |
| commit | 6533716fac07e4988ef94231a0c0c8aba68e0d5e (patch) | |
| tree | 2255e2f1775c050cc638e5de2ca4db8f0da956b8 /.gitmodules | |
| parent | 3570e36baa8e407cbfe3e729a638fd8b2d8b22d9 (diff) | |
prevent race condition where we can accept tip before the background page knows about it
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions