diff options
| author | Christian Grothoff <christian@grothoff.org> | 2022-10-22 00:27:32 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2022-10-22 00:27:32 +0200 |
| commit | 4524180ada7d49e2f3ea4356df4706f2c9b0841d (patch) | |
| tree | ac44d30d13e60e52517886625e7f01268c605080 /po/Makevars | |
| parent | 3b90f9cae240623799917a839c018039dae506b0 (diff) | |
-document why re-locking here is safe -- at least right now
Diffstat (limited to 'po/Makevars')
0 files changed, 0 insertions, 0 deletions