[S] Change in osmo-gsm-manuals[master]: debian: set compat level to 12