What is the difference between 1.8.0 and 1.8.0.2?
Alexander Mashintalk
1.8.0.2 has fixes for some bugs identified in 1.8.0
Nischay Nahata (talk)
https://github.com/wikimedia/mediawiki-extensions-SemanticMediaWiki/blob/1.8.x/RELEASE-NOTES-1.8.0.2
Jeroen De Dauw (talk)