]> git.tue.mpg.de Git - paraslash.git/commit
Merge branch 'maint'
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 6 Aug 2024 15:25:14 +0000 (17:25 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 6 Aug 2024 15:25:14 +0000 (17:25 +0200)
commit3944ed1dd80400a0631b645af04a28ec247b8181
tree706fca232d018cbce4d1412be1fb0e76f8b49dd9
parent4e7de83d81baee96116e823f29926222661ceb15
parent15d09694e9dbb4766621061786c5ea225c54c961
Merge branch 'maint'

The merge conflicted due to an integer overflow fix in com_jmp().

* maint:
  play: Fix some integer overflows().
play.c