[ease/plugins] (2 commits) ...Merge branch 'master' into plugins



Summary of changes:

  c95f993... Fix `make dist' (*)
  b9c2504... Merge branch 'master' into plugins

(*) This commit already existed in another branch; no separate mail sent



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]