{"shas":[["6d72f57741e590466a066e09afde0495f4ffc7ff","65ae7bc3b3220ecabf56899285582952732fa13c@rvt.dds.nl","Restriction tool bar bug - ID: 3368817 thanks to Claude","R. van Twisk"]],"ref":"refs/heads/private1.0.0rc1","size":1,"head":"6d72f57741e590466a066e09afde0495f4ffc7ff","push_id":37203700}