]> git.tue.mpg.de Git - paraslash.git/commitdiff
Merge branch 'maint'
authorAndre Noll <maan@tuebingen.mpg.de>
Thu, 24 Mar 2022 18:58:12 +0000 (19:58 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Thu, 24 Mar 2022 18:58:12 +0000 (19:58 +0100)
A single fix for a benign bug.

* maint:
  afs: Update dummy mood assumptions to reflect the reality.

1  2 
afs.c
mood.c

diff --cc afs.c
Simple merge
diff --cc mood.c
Simple merge