chiark / gitweb /
New --ignore-dirty option to skip noncritical check. Closes: #720895.