SVN 8195 Stone Tool Maker shows different bonuses in different cities.
See attachments (three screenshots and the save game).
Screenshot 1 is Istanbul, a city I just conquered. Stone Tool Maker shows (13/5/5) hammers/gold/beakers but mouseover shows 17 hammers.
Screenshot 2 is Copenhagen, my capital. Stone Tool Maker shows (5/5/5) hammers/gold/beakers but mouseover shows 9 hammers.
Screenshot 3 is Roskilde, a city I founded later. Stone Tool Maker shows (8/5/5) hammers/gold/beakers but mouseover shows 12 hammers.
As the difference between the building and the mouseover is 4 hammers every time, I suspect that the hammerbonuses from techs are counted double in the mouse-over.
After using ctrl-shift-t (recalculate everything) all three Stone Tool Makers show (5/5/5) with mouseover (9/5/5). Total city hammer production changes also:
Pre-recalc
Roskilde 89 hammers
Copenhagen 212 hammers
After recalc:
Roskilde 75 hammers
Copenhagen 213 hammers
P.S. I have a sneaking suspicion that there are errors in calculating total city production of hammers also, with some bonuses counted double and others not counted. Next time I start a new game I'll keep notes on changes in production as I add buildings, techs, housing and herds.
The mouse-over is simply wrong it counts some things twice and this affects not just production. Thanks for the report should be fixed soon.