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