diff options
| author | Yuchen Pei <me@ypei.me> | 2021-07-27 14:10:50 +1000 | 
|---|---|---|
| committer | Yuchen Pei <me@ypei.me> | 2021-07-27 14:10:50 +1000 | 
| commit | 19cadf0137cfaefb5012fd62611397129752761a (patch) | |
| tree | c86f090e732794599d17247992623cdc3e90c2ea /doc/Makefile | |
| parent | f6a29a2031c566699e1693efe324785d7cdda56d (diff) | |
bugfix: moved side effects of add props to only when ticket non-nil
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions
