Commit History

Author SHA1 Message Date
  Christoph Biedl d84257867f Cherry-pick four commits from upstream, replacing local patches 5 years ago