From ed6b4edc82b0f65c77980713cd525053fcbc1dd2 Mon Sep 17 00:00:00 2001 From: Giulio Cesare Solaroli Date: Fri, 02 May 2014 15:14:18 +0000 Subject: Fixed issues reported by cure53.de Fixed issues CLP-01-014 and CLP-01-015 --- (limited to 'properties') -- cgit v0.9.0.2