Richard van der Hoff 16cb9a71b8
Drop unused tables (#6115)
These tables are unused since #5893 (as amended by #6047), so we can now drop
them.

Fixes #6048.
2019-09-30 09:38:41 +01:00
..
2019-06-20 19:32:02 +10:00
2019-09-25 11:59:00 +01:00
2019-09-27 16:15:01 +01:00
2019-09-25 18:17:39 +01:00
2019-09-12 11:42:47 +01:00
2019-09-30 09:38:41 +01:00
2019-09-26 12:29:59 +01:00
2019-06-20 19:32:02 +10:00
2019-06-20 19:32:02 +10:00
2019-06-20 19:32:02 +10:00