The "auto-shun" setting:

If enabled, automatically pull the shunning list from a server to which the client autosyncs.

GRG for REDUCE
GRG Homepage | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]