diff -r 058bb3dc685f -r 0b59724cb3f2 misc/migration/3.8.3_common.py
--- a/misc/migration/3.8.3_common.py	Mon Jan 04 18:40:30 2016 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-option_group_changed('port', 'main', 'web')
-option_group_changed('query-log-file', 'main', 'web')
-option_group_changed('profile', 'main', 'web')
-option_group_changed('max-post-length', 'main', 'web')