Your message dated Fri, 08 Mar 2019 14:50:15 +0000
with message-id <[email protected]>
and subject line Bug#748165: fixed in xournal 1:0.4.8.2016-1
has caused the Debian Bug report #748165,
regarding Spurious "null" causing incompatible function declaration
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
748165: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=748165
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: xournal
Version: 4.7-1
Severity: wishlist
Usertags: goto-cc
During an analysis of all packages using our research compiler tool-chain (using
tools from the cbmc package) the following error was found:
The definition of subdivide_cur_path is stated as
void subdivide_cur_path(null)
as can be reviewed here:
http://sources.debian.net/src/xournal/4.7-1/src/xo-paint.c?hl=238#L238
"null" appears to be entirely spurious here, and will be interpreted as a
parameter of type int declared in KnR style. Consequently this function type
becomes incompatible with its uses, all of which do not pass any argument.
In all likelihood this "null" should simply be dropped.
Best,
Michael
pgp8_2AEDQx2M.pgp
Description: PGP signature
--- End Message ---
--- Begin Message ---
Source: xournal
Source-Version: 1:0.4.8.2016-1
We believe that the bug you reported is fixed in the latest version of
xournal, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Barak A. Pearlmutter <[email protected]> (supplier of updated xournal package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 05 Mar 2019 12:23:51 +0000
Source: xournal
Binary: xournal xournal-dbgsym
Architecture: source amd64
Version: 1:0.4.8.2016-1
Distribution: unstable
Urgency: medium
Maintainer: Carlo Segre <[email protected]>
Changed-By: Barak A. Pearlmutter <[email protected]>
Description:
xournal - GTK+ Application for note taking
Closes: 748165 820619 864863 869821 875523 876098
Changes:
xournal (1:0.4.8.2016-1) unstable; urgency=medium
.
* New upstream release (closes: #869821)
- removes ancient xxx(null) formal parameter (closes: #748165)
* Upgrade to debhelper 12, tweaking build scripts accordingly
- build architecture configuration issue (closes: #876098)
- enables parallel building (closes: #820619)
* Upgrade to Standards-Version 4.3.0
* Remove menu file, per policy
* Trim debian/changelog whitespace
* Add pointer to packaging repo in salsa
* Disable ldflags patch; handled automatically by debhelper
* Remove debian/xournal.1 emacs major mode comment; emacs knows all
* Harden
* Add self as uploader
* Remove now-superfluous linker as-needed quilt patch
* Add desktop file tweaks quilt patch
* Add doc-base entry for user's manual
* Address some compiler warnings quilt patch
* Catalan translation update patch (closes: #864863)
* Remove KDE3 cruft (closes: #875523)
* Include 8 upstream post-release commits as quilt patches
Checksums-Sha1:
1fa99980577477572b9e23e313ac6be51175d12a 1970 xournal_0.4.8.2016-1.dsc
79cc3a0793a7413a8ccdbe7235fd0b866a4e01fc 638548 xournal_0.4.8.2016.orig.tar.gz
9115e176a62b7026095595502a22cd1d0205256f 27924
xournal_0.4.8.2016-1.debian.tar.xz
314814eb444439f4c1a403bc59509693f9d8ad3a 377720
xournal-dbgsym_0.4.8.2016-1_amd64.deb
58b288177106f8297347f8c69787b5718ccfffb4 11223
xournal_0.4.8.2016-1_amd64.buildinfo
85ae7449a0cdeecc53d5eb08004042ef91a03f06 295456 xournal_0.4.8.2016-1_amd64.deb
Checksums-Sha256:
a0f5382c980628ee18bdb83852ac4b696a30bb2e8e251dee29689c876c74a66e 1970
xournal_0.4.8.2016-1.dsc
1d6b2609b1e3b2873332710e4b9fa6db676b3c3983fc46cb717bf4d1955c754e 638548
xournal_0.4.8.2016.orig.tar.gz
869eb22227d7a548f0ad53f737f050fbcb812763ef2b6a9e1082bd23a0ab0c48 27924
xournal_0.4.8.2016-1.debian.tar.xz
b233661ab410230c10411492edae0196cbab290859cd9887495b79b5921f94e6 377720
xournal-dbgsym_0.4.8.2016-1_amd64.deb
1ad9855dde74283b6ae88b67935d8ec01a4aa344d1fad9f1115b6607e850edcb 11223
xournal_0.4.8.2016-1_amd64.buildinfo
8c7d36a96b18af751140f11651f2751901f95a19539604bae1c3e84c8168983a 295456
xournal_0.4.8.2016-1_amd64.deb
Files:
7e0bb04fa4faebbc82608a6a05e1ca00 1970 x11 optional xournal_0.4.8.2016-1.dsc
9714a5d9f93b7f373c241c347b73986a 638548 x11 optional
xournal_0.4.8.2016.orig.tar.gz
bfde6e8068bbade5cfaeb5e497b1c83b 27924 x11 optional
xournal_0.4.8.2016-1.debian.tar.xz
facea930b733f4a70b4c2b9234e2fe56 377720 debug optional
xournal-dbgsym_0.4.8.2016-1_amd64.deb
3bdc145ad48b76a9ded3ce28c05c0738 11223 x11 optional
xournal_0.4.8.2016-1_amd64.buildinfo
1b8618a6f4d5e0ec0023c246c6632760 295456 x11 optional
xournal_0.4.8.2016-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEZPQp426hHMLZZlRvEltXR14ZDRgFAlx/16MACgkQEltXR14Z
DRifexAAw5PwWJuzkFAaXAzCgiUptHOqMRRNZxKuxPyU97WAmnlJBHTZKVry5BNL
/U2Bk/ZW73On7U/dd+JcyIWxH3tyEgHlqlOaOouRpoTD2SHdT8ADwgWf1jc2DDEy
+NAEL1uTHkwriYDfyDjiP4pYVBpYBXPjJV7DZBweLbrylgYz74LeMedNo7PTpiAE
6tGAa7WLLGMcY8OlltvTevSPR5CEPXcbvNNoZ6Pd14dqbXykRwI86TyZ99lFa8WE
3/DDKOkMg8ky2pJf/M6pH+yNRG/ohgDhVYdjIIgqjs+v+8Kv7iYTHqZxZTQs8Bq3
q+C4hiHSF7VKj4Ev4o3zHa0iH2Nyu2qN4YI2uizpWvi5KpzGNavb024BjaCeD1Oa
1HhIbeggZTsWFegQ8yfacqGkM+Pi5NnXF2oUYqInu7RijwVUCupBaSB/Sd1xc+Ua
k5AkQGblcAEF8e0KdjSlpz6d8w7GJ7YwBxxc5T4o0cPNwpCOuALU9sQgD35+mBx/
BJSmcqRHQCn8WCg6o9Ft6IXQSm8Ih3E2/HMfB6PCAqWUCU4j1P5kv3jZO0LcVvZ7
lyhClqrmAq4F2hodVBzGAAW7OR2SIHlf0zPBkWtMy1Yvi9b1wleche0Tj6m3tSy/
bDcW6Nvxw7oUM5HMQQvrw4RKVMAdUKg+pxM8BkxNmmR2Qs/I/Vo=
=t8ja
-----END PGP SIGNATURE-----
--- End Message ---
