diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-08-24 15:41:49 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2018-06-16 12:25:49 +0100 |
| commit | 54a18d290527b6aa515592d27f90f35187757e8c (patch) | |
| tree | 7be045f6fc44ce1480943e539bbaedb13c7731d8 /debian | |
| parent | 3e9cb86bb654846019aedc74db306934aabb4f93 (diff) | |
Dgit.pm: Move $playground global to dgit.
It makes the interface to the playground functions confusing.
No functional change.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/changelog | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index ee9c4a3..464a433 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,6 +1,7 @@ dgit (4.5~) unstable; urgency=medium - * + Internal changes: + * Move $playground global to dgit. -- |