Learn more about these different git repos.
Other Git URLs
PR #92
Closing as the PR for this issue was filed several years ago and it's unclear whether it's still needed.
Metadata Update from @dgregor: - Custom field Size adjusted to None - Issue close_status updated to: Dropped - Issue status updated to: Closed (was: Open)
Login to comment on this ticket.