Learn more about these different git repos.
Other Git URLs
cc193a6
@@ -432,7 +432,7 @@
apply to them.
</para>
<para>
- Default: False (seconds)
+ Default: False
</listitem>
</varlistentry>
Tiny fix. Probably a copy&paste
rebased onto cc193a6
Thanks. Copy&paste error indeed.
I do not think that this needs a CI run. I just checked if this applies on top of current master and it does.
ACK.
Commit e5dc30e fixes this pull-request
Pull-Request has been merged by jhrozek
Tiny fix. Probably a copy&paste