Merge version 7.3.0+dfsg1-3+rpi1 and 7.3.0+dfsg1-4 to produce 7.3.0+dfsg1-4+rpi1

diff --cc debian/changelog
index 5a3bde094394d06d0a4c1b2c82a2e990f51fd438,f6d73e047f810c27a91ea18518002a8f068c9c49..134f6a2e9d1d88ede26ce626fda6bb706dc647f2
--- 1/debian/changelog
--- 2/debian/changelog
+++ b/debian/changelog
@@@ -1,8 -1,9 +1,16 @@@
- opencascade (7.3.0+dfsg1-3+rpi1) buster-staging; urgency=medium
++opencascade (7.3.0+dfsg1-4+rpi1) buster-staging; urgency=medium
 +
++  [changes brought forward from 7.3.0+dfsg1-3+rpi1 by Peter Michael Green <plugwash@raspbian.org> at Thu, 02 Aug 2018 14:38:13 +0000]
 +  * Update symbols for raspbian.
 +
-  -- Peter Michael Green <plugwash@raspbian.org>  Thu, 02 Aug 2018 14:38:13 +0000
++ -- Raspbian forward porter <root@raspbian.org>  Sun, 04 Nov 2018 13:00:57 +0000
++
+ opencascade (7.3.0+dfsg1-4) unstable; urgency=medium
+ 
+   * Drop .symbols files -- they are simply not sustainable. (Closes: #911554)
+   * Bump S-V to 4.2.1 -- Add Rules-Requires-Root: no.
+ 
+  -- Tobias Frost <tobi@debian.org>  Tue, 23 Oct 2018 22:50:46 +0200
  
  opencascade (7.3.0+dfsg1-3) unstable; urgency=medium