Yes there is, but its a bit out-of-the-way. You need to click on the user you want to ignore to bring up their profile, then click on the “Normal” button in the top right area. From the ensuing drop-down menu, click “Muted” or “Ignored” and you’re sweet.