]> git.tuebingen.mpg.de Git - paraslash.git/commit
Merge topic branch t/misc into pu
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 21 May 2024 18:08:30 +0000 (20:08 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 21 May 2024 18:08:30 +0000 (20:08 +0200)
commit32c6ab665d30b3ab4a3b3bdc00fa7490f14fbb97
treebfc446257df15067f6015b48a792397550beb6e6
parent53db0f3e487226181eb2691c4154102779af3c46
parent06d1d165f80eff7d7d690829693cc4c390db8939
Merge topic branch t/misc into pu

The stuff in here is too small to get its own topic branch. The
commits are generally regarded as safe enough to be applied directly to
"master" without cooking in "next" first. However, if a commit induces
a merge conflict or is important enough to get mentioned in an item
of the NEWS file, the commit should get a dedicated topic branch.

Unlike most other topic branches, this branch never promotes to
"next". When a set of commits is ready to graduate to "master", the
branch is rebased onto "master" and its commits are re-ordered so that
the graduating commits appear at the beginning. The last such commit
is merged to "master". This always results in a fast-forward merge,
so no merge message needs to be supplied.

* refs/heads/t/misc:
  play.c: Replace NULL check by assertion.
  filter_common: Annotate possible NULL pointer confusion.
  exec: Simplify fd handling.
  i9e: Clear history on close.
play.c