Add date and time to lab filter when looking for requests

fixes #125 (closed)

In the filter box we now display the lab as: 'lab {id}: {hh}:{mm} - {dd} {MMM} {yy}'.

added 16 commits

• 0460f12b...73ecaa60 - 15 commits from branch development
• 65a19111 - Merge branch 'development' into lab-filtering#125

Compare with previous version

added 1 commit

• 05a9c3b4 - Add room to request table

Compare with previous version

merged

By Otto Visser on 2018-09-07T08:04:00 (imported from GitLab project)

mentioned in commit 828c75bc

By Otto Visser on 2018-09-07T08:04:00 (imported from GitLab project)