auto-committed by dist.ini
v1.19

  * Make 'mux' work with multiple repos instead of just one
  * Add 'dirty' flag to 'mux' to make it open all repos with unclear
    status