diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2020-06-15 16:03:29 +0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2020-06-15 16:03:29 +0200 |
commit | 5ed5d7acbd00298df7b4e3a638d731143084da2e (patch) | |
tree | 682b276f2a7bf6c2a53909290604dcb6faf8e6e2 /doc/manual/expressions/builtins.xml | |
parent | e14e62fddde3b00ee82a8da29725f571ad8ecee1 (diff) |
Improve "waiting for locks" messages
These are now shown in the progress bar.
Closes #3577.
Diffstat (limited to 'doc/manual/expressions/builtins.xml')
0 files changed, 0 insertions, 0 deletions