debian specific patch information for maria / 1.3.5-4

 tmp/dpep.8jLSBV/maria-1.3.4/maria-vis |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

 tmp/dpep.PkKMxS/maria-1.3.4/Makefile.Linux |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

 Expression/Substitution.h |    1 +
 Expression/VariableSet.h  |    1 +
 Net/PlaceMarking.h        |    1 +
 Value/Valuation.C         |    1 +
 parser/NameList.h         |    1 +
 parser/VariableStackMap.C |    1 +
 6 files changed, 6 insertions(+)

 NEWS |   12 +++---------
 1 file changed, 3 insertions(+), 9 deletions(-)