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)
- Bug#879850: stretch-pu: package sqldeveloper-pa... Phil Morrell
- Bug#879850: stretch-pu: package sqldevelop... Phil Morrell
- Bug#879850: stretch-pu: package sqldevelop... Adam D. Barratt
- Bug#879850: stretch-pu: package sqldev... Adam D. Barratt
- Processed: Re: Bug#879850: stretch-pu: pac... Debian Bug Tracking System
- Processed: Re: Bug#879850: stretch-pu: pac... Debian Bug Tracking System
- Bug#879850: marked as done (stretch-pu: pa... Debian Bug Tracking System

