[02:40:05] [SemanticResultFormats] s7eph4n pushed 3 new commits to filtered: https://git.io/v50gh [02:40:05] SemanticResultFormats/filtered cf41546 Stephan Gambke: Filtered format: Rework number filter [02:40:05] SemanticResultFormats/filtered 8c40bfd Stephan Gambke: Merge branch 'filtered' of https://github.com/SemanticMediaWiki/SemanticResultFormats into filtered [02:40:05] SemanticResultFormats/filtered f401362 Stephan Gambke: Finalize replacement of value filter [02:45:17] [SemanticResultFormats] s7eph4n deleted filtered at f401362: https://git.io/v502I [02:45:29] [SemanticResultFormats] s7eph4n created filtered (+5 new commits): https://git.io/v502t [02:45:29] SemanticResultFormats/filtered cf41546 Stephan Gambke: Filtered format: Rework number filter [02:45:29] SemanticResultFormats/filtered 1e85963 Stephan Gambke: Filtered: Fixes [02:45:29] SemanticResultFormats/filtered cbd0247 Stephan Gambke: WIP: Filtered: Replace Value filter [02:48:06] [SemanticResultFormats] s7eph4n opened pull request #298: Filtered (master...filtered) https://git.io/v502O [02:50:47] [SemanticResultFormats] s7eph4n pushed 1 new commit to filtered: https://git.io/v5023 [02:50:47] SemanticResultFormats/filtered 7f8a757 Stephan Gambke: Merge branch 'master' into filtered [03:01:49] [SemanticResultFormats] s7eph4n pushed 1 new commit to master: https://git.io/v5024 [03:01:49] SemanticResultFormats/master 90936a8 Stephan Gambke: Filtered: Replace Value filter (#298)... [03:01:55] [SemanticResultFormats] s7eph4n deleted filtered at 7f8a757: https://git.io/v502B