Bug#879850: stretch-pu: package sqldeveloper-package/0.2.4+deb9u1

[Phil Morrell]

Just following up this request to note that this change has now
migrated to testing and also been acked by the maintainer:
https://lists.debian.org/debian-mentors/2017/10/msg00340.html
--
Phil Morrell (emorrp1)