Dallas' $5 billion budget saves a library, helps a pension and gives police a boost

The Dallas City Council approved a budget that includes increases to the city's public safety departments and funds to keep an East Dallas library branch open — for now.