osmo-gsm-manuals.git branch master updated. 725b3521a3e7b5c75f24afb742f1c90f5369eb0c