Whitespace

dev
gravel 3 years ago
parent 1e71e524ef
commit be29fc5bc5
Signed by: gravel
GPG Key ID: C0538F3C906B308F

@ -269,7 +269,7 @@
/**
* @var bool $merge_error
*
*
* Flag specifying whether the server is invalidated as a result of merging.
*/
private bool $merge_error = false;

Loading…
Cancel
Save