Completed
Push — add/psh-killswitch ( fc0a4d...79aef9 )
by
unknown
115:56 queued 108:57
created
4.82
▶   ± 0
Head
Michael D Adams  
Plugin Search Hints: Cache both Errors and Successes
1 more commit
Base
Elio Rivero  
Plugin search hints: introduce a master control that allows us to remotely disable hints