[Tutti-commits] [tutti] 02/06: fix release 3.7.6 (missing header)